(a (q 2 (q 2 316 (c 2 (c (q . "main") (c (a (i 3071 (q 2 (i (= 1535 (q . "simulate")) (q 2 -114 (c 2 (c 5 (c 11 (c 23 (c 47 (c 95 (c -65 (c 383 (c (a 426 (c 2 (c (a 462 (c 2 (c (a 436 (c 2 (c 3071 ()))) ()))) (c 767 ())))) ())))))))))) (q 2 354 (c 2 (c 5 (c 11 (c 23 (c 47 (c 95 (c -65 (c 383 (c 3071 (c (a 382 (c 2 (c 11 (c (a 426 (c 2 (c (a 462 (c 2 (c (a 436 (c 2 (c 3071 ()))) ()))) (c 767 ())))) (c 6143 ()))))) ())))))))))))) 1) (q 2 (i (a 328 (c 2 (c 767 ()))) (q 8 (q . "not a win yet")) (q 2 316 (c 2 (c 334 (c (a 334 (c 2 (c 23 (c 47 (c 95 (c -65 (c 383 (c 767 ())))))))) ()))))) 1)) 1) ())))) (c (q (((((50 2 . 51) (c . 1) 1 . 2) ((a (i (> 5 ()) (q . 5) (q 17 () 5)) 1) (a 464 (c 2 (c (a -118 (c 2 (c 5 ()))) (c 11 (c 23 ()))))) 2 304 (c 2 (c (a (i (a 500 (c 2 (c 11 ()))) (q . 5) ()) 1) (c (a (i (a 440 (c 2 (c 11 ()))) () (q . 5)) 1) (c (a (i (a 440 (c 2 (c 11 ()))) (q . 5) ()) 1) (c 23 ())))))) ((c (a 488 (c 2 (c 47 ()))) (c (logior 5 (a 360 (c 2 (c 47 ())))) (c (logior 11 (a -104 (c 2 (c 47 ())))) (c (logior 23 (a 424 (c 2 (c 47 ())))) ())))) 2 486 (c 2 (c (a 370 (c 2 (c 5 (c 11 (c 23 (c 47 ())))))) ()))) (a 496 (c 2 (c 5 (c 11 (c 23 (c 47 (c 95 (c -65 (c 383 (c 767 (c (+ -65 (* 11 47)) (c (+ 383 (* 11 95)) ())))))))))))) 2 (i (a 372 (c 2 (c 1535 (c 3071 ())))) (q 2 -120 (c 2 (c 5 (c 11 (c 23 (c 47 (c 95 (c -65 (c 383 (c 767 (c 1535 (c 3071 (c (a 492 (c 2 (c 23 (c (c (c -65 383) (c 1535 3071)) (c 767 ()))))) ()))))))))))))) (q . 5)) 1) (((a 368 (c 2 (c (a (i 6143 (q 4 (c 1535 3071) 5) (q . 5)) 1) (c (+ 11 5) (c 23 (c 47 (c 95 (c -65 (c 383 (c 767 ())))))))))) (a 486 (c 2 (c (a 338 (c 2 (c 5 (c (a 444 (c 2 (c () (c (a 488 (c 2 (c 5 ()))) (c 5 ()))))) ())))) ()))) 2 296 (c 2 (c (a 440 (c 2 (c 5 ()))) (c 11 (c 23 (c (a 506 (c 2 (c 11 (c (a 294 (c 2 (c 5 (c 11 (c 23 ()))))) ())))) ())))))) ((a 486 (c 2 (c (c (a 432 (c 2 (c 5 (c 11 (c 23 (c 47 ())))))) (c (a 378 (c 2 (c 11 (c (a 326 (c 2 (c 11 (c 23 (c 47 ()))))) ())))) ())) ()))) . 93) 21 . 9) (45 (a (i 5 (q 2 344 (c 2 (c 13 (c (sha256 480 (sha256 416 288) (sha256 480 (sha256 480 (sha256 416 352) 9) (sha256 480 11 (sha256 416 ())))) ())))) (q . 11)) 1) 2 312 (c 2 (c (a -118 (c 2 (c 5 ()))) (c 11 ())))) ((a (i (logand 5 (a -104 (c 2 (c 11 ())))) (q 4 (a (i (logand 5 (a 360 (c 2 (c 11 ())))) (q 2 418 (c 2 (q ()))) (q 2 482 (c 2 (q ())))) 1) ()) (q 2 (i (logand 5 (a 424 (c 2 (c 11 ())))) (q 4 (a (i (logand 5 (a 360 (c 2 (c 11 ())))) (q 2 418 (c 2 (q 1))) (q 2 482 (c 2 (q 1)))) 1) ()) ()) 1)) 1) . 13) (a (i 5 (q 2 348 (c 2 (c (a 440 (c 2 (c (a 436 (c 2 (c 5 ()))) ()))) ()))) ()) 1) 2 -106 (c 2 (c 5 (c (a 502 (c 2 (c 767 ()))) (c (sha256 383) (c (sha256 -65) (c (sha256 95) (c (sha256 47) (c (sha256 23) (c (sha256 11) (c (sha256 5) ()))))))))))) ((((a 324 (c 2 (c 19 (c 27 (c (a 456 (c 2 (c 5 (c 11 (c 23 ()))))) ()))))) (a (i 23 (q 4 (a 452 (c 2 (c 5 (c 11 (c 39 ()))))) (a 324 (c 2 (c 5 (c 11 (c 55 ())))))) ()) 1) 4 (c 5 11) 23) ((c (- (a 450 (c 2 (c 5 ()))) (a -126 (c 2 (c 5 ())))) (- (a 290 (c 2 (c 5 ()))) (a 322 (c 2 (c 5 ()))))) 2 (i 11 (q 2 (i (= (a 440 (c 2 (c (a 436 (c 2 (c 11 ()))) ()))) (a 488 (c 2 (c 5 ())))) (q . 11) ()) 1) ()) 1) (a (i 11 (q 2 (i (a 308 (c 2 (c 5 (c 51 ())))) (q 4 19 (a 356 (c 2 (c 5 (c 27 ()))))) (q 2 356 (c 2 (c 5 (c 27 ()))))) 1) ()) 1) 2 (i 23 (q 2 (i (+ (a 436 (c 2 (c 23 ()))) (a 308 (c 2 (c (a 488 (c 2 (c 11 ()))) (c (r (a 292 (c 2 (c 5 ())))) ()))))) (q . 23) ()) 1) ()) 1) ((a (i 23 (q 2 (i (a 472 (c 2 (c 13 (c 11 ())))) () (q . 23)) 1) ()) 1) (a (i 5 (q 2 348 (c 2 (c (a 500 (c 2 (c (a 436 (c 2 (c 5 ()))) ()))) ()))) ()) 1) 2 (i 11 (q 2 (i (a 494 (c 2 (c 5 ()))) (q . 11) ()) 1) ()) 1) ((i 5 (> 11 ()) (> () 11)) 2 (i 5 (q . 9) (q 8 (q . "fromJust on nothing"))) 1) (* (* (+ (> 5 ()) (= 5 ())) (> (q . 8) 5)) (* (+ (> 11 ()) (= 11 ())) (> 11 (q . 121)))) 9 9 (q . 1)) (((a 332 (c 2 (c 5 (c 11 (c 39 (c 55 (c 47 (c 95 ())))))))) (c (+ 5 (* -65 (/ 23 95))) (+ 11 (* -65 (/ 47 95)))) . 93) (= . 21) 45 2 314 (c 2 (c (a -110 (c 2 (c 11 ()))) (c 5 (c 11 (c 23 (q () 1))))))) ((a (i (a 316 (c 2 (c (q . "true true None _") (c (* (* (a 300 (c 2 (c 383 ()))) (a 428 (c 2 (c 383 ())))) (not (a 364 (c 2 (c 383 ()))))) ())))) (q 2 348 (c 2 (c 95 ()))) (q 2 (i (a 316 (c 2 (c (q . "_ true Some _") (c (* (a 428 (c 2 (c 383 ()))) (not (not (a 364 (c 2 (c 383 ())))))) ())))) () (q 2 (i (a 316 (c 2 (c (q . "_ false _ true") (c (* (not (a 428 (c 2 (c 383 ())))) (a 460 (c 2 (c 383 ())))) ())))) (q 2 314 (c 2 (c 5 (c 11 (c 23 (c 47 (c (c (a -116 (c 2 (c (a -126 (c 2 (c 23 ()))) (c (a 322 (c 2 (c 23 ()))) (c (a 292 (c 2 (c 23 ()))) (c 5 (c -65 ()))))))) 95) (c (+ -65 (q . 1)) ())))))))) (q 2 (i (a 316 (c 2 (c (q . "_ true None _") (c (* (not (a 428 (c 2 (c 383 ())))) (a 460 (c 2 (c 383 ())))) ())))) (q 2 314 (c 2 (c 5 (c 11 (c 23 (c 47 (c 95 (c (+ -65 (q . 1)) ())))))))) ()) 1)) 1)) 1)) 1) (c 5 ()) 3 5 (q . 7) ()) ((i 11 11 11) 2 (i (> 5 (q . 63)) () (q 2 380 (c 2 (c 5 (c 11 (c 23 (c (a 472 (c 2 (c (a 458 (c 2 (c 5 (q 8)))) (c 23 ())))) ()))))))) 1) (a 508 (c 2 (c (a (i 47 (q 2 (i (= (a 376 (c 2 (c 47 ()))) (a 348 (c 2 (c 11 ())))) (q 4 (a 458 (c 2 (c 5 (q 8)))) (a 436 (c 2 (c 47 ())))) ()) 1) ()) 1) (c (a 444 (c 2 (c (+ 5 (q . 1)) (c 11 (c 23 ()))))) ())))) 2 (i 5 (q 4 5 11) (q . 11)) 1) ((((- 25 . 21) (point_add 4 (q . 1) 5) (c (c -128 (c (a (i (a 488 (c 2 (c 1535 ()))) (q . 47) (q . 23)) 1) (c (a 502 (c 2 (c 767 ()))) ()))) (c (c 448 (c (a 504 (c 2 (c 5 (c 11 (c 23 (c 47 (c 95 (c -65 (c 383 (c 1535 ())))))))))) (c 383 ()))) ())) 4 () 5) ((a -112 (c 2 (c (- (a -126 (c 2 (c 5 ()))) (a 450 (c 2 (c 5 ())))) ()))) (a (i 11 (q 4 (a 466 (c 2 (c 5 (c 19 ())))) (a 338 (c 2 (c 5 (c 27 ()))))) ()) 1) 2 -124 (c 2 (c 27 (c 19 (c 5 ()))))) ((a (i 11 (q 2 348 (c 2 (c (c (a 436 (c 2 (c 11 ()))) (a 488 (c 2 (c 5 ())))) ()))) ()) 1) 2 (i 5 (q 2 348 (c 2 (c (a 442 (c 2 (c (a 436 (c 2 (c 5 ()))) ()))) ()))) ()) 1) (a (i 47 (q 2 498 (c 2 (c 5 (c 11 (c 23 (c -113 (c -49 (c 111 ())))))))) ()) 1) 4 (a 368 (c 2 (c () (c (q . 2) (c 5 (c 47 (c 95 (c 19 (c 27 (c 23 ())))))))))) (a 370 (c 2 (c 5 (c 11 (c 23 (c -65 ()))))))) (((lsh (q . 1) (+ (* (q . 8) 9) 13)) (a (i (= (a 476 (c 2 (c (a 440 (c 2 (c 11 ()))) ()))) 29) (q 4 (q . 1) (a 440 (c 2 (c 11 ())))) (q . 11)) 1) 2 298 (c 2 (c (divmod 5 11) ()))) ((c 13 9) 2 362 (c 2 (c (a 490 (c 2 (c 5 (c 11 ())))) ()))) (a (i 5 (q 2 436 (c 2 (c 5 ()))) (q 8 (q . "invalid move"))) 1) 2 434 (c 2 (c (a 430 (c 2 (c 5 (c 11 (c (a 342 (c 2 (c 5 (c 11 (c (a 306 (c 2 (c 11 (c (a 484 (c 2 (c 5 (c 11 (c (a 340 (c 2 (c (a -108 (c 2 (c 5 (c 11 (c (a 468 (c 2 (c 5 (c (a 420 (c 2 (c 11 (c (a 472 (c 2 (c 9 (c 11 ())))) ())))) ())))) ()))))) ()))) ()))))) ())))) ()))))) ()))))) ()))) ((a 346 (c 2 (c 5 (c 11 (c (a -116 (c 2 (c (a -126 (c 2 (c 23 ()))) (c (a 322 (c 2 (c 23 ()))) (c (a 292 (c 2 (c 23 ()))) (c 11 (c 95 ()))))))) (c 47 (c 95 ()))))))) (a 474 (c 2 (c 5 (c (= 11 95) (c (not (r (divmod 95 (q . 2)))) (c (a 472 (c 2 (c 23 (c 47 ())))) ())))))) 4 11 (c 23 (c 47 (c (= (a 376 (c 2 (c 47 ()))) (a 348 (c 2 (c 5 ())))) ())))) ((a -100 (c 2 (c 5 (c 11 (c 23 (c 47 (c 95 (c -65 (c (a -102 (c 2 (c (a 358 (c 2 (c 11 ()))) (c 5 (c 23 (c 47 (c -65 ()))))))) ()))))))))) 4 (a 358 (c 2 (c (a 488 (c 2 (c 5 ()))) ()))) (c (a 360 (c 2 (c 5 ()))) (c (a -104 (c 2 (c 5 ()))) (c (a 424 (c 2 (c 5 ()))) ())))) (a (i 11 (q 4 (c (+ 9 35) (+ 13 51)) (a 378 (c 2 (c 5 (c 27 ()))))) ()) 1) 2 (i 11 (q 2 -122 (c 2 (c 9 (c 13 (c 35 (c 51 (c 19 (c (a 506 (c 2 (c 5 (c 27 ())))) ())))))))) ()) 1) ((((a (i (a 372 (c 2 (c (+ 23 5) (c (+ 47 11) ())))) (q 4 95 -65) (q . -65)) 1) (a (i 23 (q 2 454 (c 2 (c 5 (c 11 (c 71 (c 103 (c (a 326 (c 2 (c 5 (c 11 (c 55 ()))))) ()))))))) ()) 1) 2 (i (a 472 (c 2 (c (c (+ 23 9) (+ 47 13)) (c 11 ())))) (q . 95) (q 4 (c 23 47) 95)) 1) ((a 422 (c 2 (c 5 (q ((-1 . 1) (-1 . -1) (q . 1) (q . -1)))))) 2 (i (a 500 (c 2 (c 5 ()))) (q . 11) (q 2 356 (c 2 (c (a 440 (c 2 (c 5 ()))) (c 11 ()))))) 1) (a (i (= 5 ()) (q 1 . 1) ()) 1) 2 (i 5 (q 2 (i 9 (q 4 17 (a 486 (c 2 (c (c 25 13) ())))) (q 2 486 (c 2 (c 13 ())))) 1) ()) 1) ((sha256 480 (sha256 416 320) (sha256 480 (sha256 480 (sha256 416 352) 5) (sha256 480 (a 344 (c 2 (c (x (c (q . "rev") 7)) (c (sha256 416 416) ())))) (sha256 416 ())))) (a (i 23 (q 2 (i (= (a -110 (c 2 (c 5 ()))) (q . 1)) (q 2 348 (c 2 (c (c (a 436 (c 2 (c 23 ()))) ()) ()))) (q 2 470 (c 2 (c (a 436 (c 2 (c 23 ()))) (c (a 492 (c 2 (c (a 488 (c 2 (c 11 ()))) (c 5 (c 11 ()))))) ()))))) 1) ()) 1) 2 (i 11 (q 2 348 (c 2 (c (c 5 (a 436 (c 2 (c 11 ())))) ()))) ()) 1) ((a 438 (c 2 (c (a -118 (c 2 (c 5 ()))) (c 11 ())))) 4 (a 488 (c 2 (c 11 ()))) (c (logxor (a 360 (c 2 (c 11 ()))) (a (i (logand 5 (a 360 (c 2 (c 11 ())))) (q . 5) ()) 1)) (c (logxor (a -104 (c 2 (c 11 ()))) (a (i (logand 5 (a -104 (c 2 (c 11 ())))) (q . 5) ()) 1)) (c (logxor (a 424 (c 2 (c 11 ()))) (a (i (logand 5 (a 424 (c 2 (c 11 ())))) (q . 5) ()) 1)) ())))) (a (i 11 (q 2 374 (c 2 (c (a 310 (c 2 (c 19 (c 5 ())))) (c 27 ())))) (q . 5)) 1) 2 (i (l 5) (q 11 (q . 2) (a 502 (c 2 (c 9 ()))) (a 502 (c 2 (c 13 ())))) (q 11 (q . 1) 5)) 1) (((c (a 504 (c 2 (c 5 (c 11 (c 23 (c 47 (c 95 (c -65 (c 383 (c 767 ())))))))))) 767) (c (c -128 (c (a (i (a 488 (c 2 (c -65 ()))) (q . 11) (q . 5)) 1) (c (a 502 (c 2 (c -65 ()))) ()))) (c (c 448 (c (a (i (a 488 (c 2 (c -65 ()))) (q . 47) (q . 23)) 1) (c 95 ()))) ())) 2 302 (c 2 (c (a 458 (c 2 (c 5 (q 0x010000)))) ()))) ((c (a 458 (c 2 (c 9 (q 256)))) (a 458 (c 2 (c 13 (q 256))))) 2 (i 23 (q 2 348 (c 2 (c (a 366 (c 2 (c 5 (c (a 374 (c 2 (c (a 310 (c 2 (c 9 (c 11 ())))) (c (r (a 436 (c 2 (c 23 ())))) ())))) (c (a 330 (c 2 (c 5 (c (f (a 436 (c 2 (c 23 ())))) ())))) ()))))) ()))) ()) 1) (a 336 (c 2 (c 13 (c 23 (c 11 ()))))) 2 -98 (c 2 (c 5 ()))) ((a (i (+ (= (a -126 (c 2 (c 5 ()))) (a 450 (c 2 (c 5 ())))) (= (a 322 (c 2 (c 5 ()))) (a 290 (c 2 (c 5 ()))))) () (q 2 350 (c 2 (c 5 ())))) 1) (a 478 (c 2 (c (a 292 (c 2 (c 5 ()))) ()))) 9 (a -112 (c 2 (c 9 ()))) (a -112 (c 2 (c 13 ())))) ((a (i 11 (q 2 446 (c 2 (c 5 (c 19 (c (a 318 (c 2 (c 5 (c 27 ())))) ()))))) ()) 1) 2 (i (= 19 (q . "board")) (q 9 (a 502 (c 2 (c 27 ()))) 5) (q . 23)) 1) (a (i (a 510 (c 2 (c 5 (c 23 ())))) (q 2 (i (a 318 (c 2 (c (a 502 (c 2 (c 11 ()))) (c 23 ())))) (q . 11) (q 8 (q . "board was not what was expected"))) 1) (q 8 (q . "launcher was not what was expected"))) 1) 1 . 1) 1)) (c (q . 0xb5d554bc853f3456a9a28f3f59bac0f1a3f6c7e48bf0686881db27ea7e828d1b) (c (q . 0xf4fd73af9d07131ea9b8d45257535832974aa171d1690121d1cc1153f582021e) (c (q . 0xac2f40f6cb161f872f61910bdacd811534e5b5753242553d9022906cdfa479e172b1eac8e1f38a3743b7897e58942442) (c (q . 0x8f0347a04e231f6e93716eddf281632562af3e947096731532a813da10ce9b4f4a29b36f8a9f102a62d61e5dedbd9ce2) (c (q . 0x4eb7420f8651b09124e1d40cdc49eeddacbaa0c25e6ae5a0a482fac8e3b5259f) (c (q . 0x5abb5d5568b4a7411dd97b3356cfedfac09b5fb35621a7fa29ab9b59dc905fb6) (c (q . 1) (c (q 1 () 0x00a040a040a040a040 0x0205020502050205) 1)))))))))