1 :- table(play_2 / 2) . 2play_2([ _164 , _165 ], _309 ) :- initialize_3( _345 , _347 ) , _345 = [ _164 , _171 , _172 ] , displaygame_2( _388 , _390 ) , _388 = [ _171 , _172 ] , play_3( _429 , _431 ) , _429 = [ _171 , _172 , _165 ] , compute([[ _171 , _172 , _165 ],[ _171 , _172 ],[ _164 , _171 , _172 ]],[ _431 , _390 , _347 ],[ _164 , _165 ], _309 ) . 3 :- table(play_3 / 2) . 4play_3([ _164 , _165 , _166 ], _268 ) :- gameover_3( _306 , _308 ) , _306 = [ _164 , _165 , _166 ] , announce_1( _349 , _351 ) , _349 = [ _166 ] , compute([[ _166 ],[ _164 , _165 , _166 ]],[ _351 , _308 ],[ _164 , _165 , _166 ], _268 ) . 5play_3([ _164 , _165 , _166 ], _391 ) :- choosemove_3( _429 , _431 ) , _429 = [ _164 , _165 , _173 ] , move_3( _472 , _474 ) , _472 = [ _173 , _164 , _180 ] , displaygame_2( _515 , _517 ) , _515 = [ _180 , _165 ] , nextplayer_2( _556 , _558 ) , _556 = [ _165 , _192 ] , play_3( _597 , _599 ) , _597 = [ _180 , _192 , _166 ] , compute([[ _180 , _192 , _166 ],[ _165 , _192 ],[ _180 , _165 ],[ _173 , _164 , _180 ],[ _164 , _165 , _173 ]],[ _599 , _558 , _517 , _474 , _431 ],[ _164 , _165 , _166 ], _391 ) . 6 :- table(choosemove_3 / 2) . 7choosemove_3([ _164 , _200 , _166 ], _343 ) :- iff_1( _381 , _383 ) , _381 = [ _200 ] , lookahead_1( _420 , _422 ) , _420 = [ _171 ] , iff_1( _459 , _461 ) , _459 = [ _260 ] , iff_1( _498 , _500 ) , _498 = [ _268 ] , alphabeta_6( _537 , _539 ) , _537 = [ _171 , _164 , _260 , _268 , _166 , _178 ] , compute([[ _171 , _164 , _260 , _268 , _166 , _178 ],[ _268 ],[ _260 ],[ _171 ],[ _200 ]],[ _539 , _500 , _461 , _422 , _383 ],[ _164 , _200 , _166 ], _343 ) . 8choosemove_3([ _164 , _190 , _166 ], _246 ) :- iff_1( _284 , _286 ) , _284 = [ _190 ] , genlegal_1( _323 , _325 ) , _323 = [ _166 ] , compute([[ _166 ],[ _190 ]],[ _325 , _286 ],[ _164 , _190 , _166 ], _246 ) . 9 :- table(alphabeta_6 / 2) . 10alphabeta_6([ _198 , _165 , _166 , _167 , _168 , _169 ], _270 ) :- iff_1( _314 , _316 ) , _314 = [ _198 ] , value_2( _353 , _355 ) , _353 = [ _165 , _169 ] , compute([[ _165 , _169 ],[ _198 ]],[ _355 , _316 ],[ _198 , _165 , _166 , _167 , _168 , _169 ], _270 ) . 11alphabeta_6([ _164 , _165 , _166 , _167 , _168 , _169 ], _597 ) :- iff_1( _641 , _643 ) , _641 = [ _281 ] , myis_2( _680 , _682 ) , _680 = [ _164 , _281 ] , allmoves_2( _721 , _723 ) , _721 = [ _165 , _181 ] , iff_2( _762 , _764 ) , _762 = [ _337 , _167 ] , myis_2( _803 , _805 ) , _803 = [ _186 , _337 ] , iff_2( _844 , _846 ) , _844 = [ _368 , _166 ] , myis_2( _885 , _887 ) , _885 = [ _195 , _368 ] , iff_2( _926 , _928 ) , _926 = [ _399 , _164 ] , myis_2( _967 , _969 ) , _967 = [ _204 , _399 ] , iff_1( _1008 , _1010 ) , _1008 = [ _447 ] , iff_3( _1047 , _1049 ) , _1047 = [ _455 , _168 , _169 ] , evaluateandchoose_7( _1090 , _1092 ) , _1090 = [ _181 , _165 , _204 , _186 , _195 , _447 , _455 ] , compute([[ _181 , _165 , _204 , _186 , _195 , _447 , _455 ],[ _455 , _168 , _169 ],[ _447 ],[ _204 , _399 ],[ _399 , _164 ],[ _195 , _368 ],[ _368 , _166 ],[ _186 , _337 ],[ _337 , _167 ],[ _165 , _181 ],[ _164 , _281 ],[ _281 ]],[ _1092 , _1049 , _1010 , _969 , _928 , _887 , _846 , _805 , _764 , _723 , _682 , _643 ],[ _164 , _165 , _166 , _167 , _168 , _169 ], _597 ) . 12 :- table(allmoves_2 / 2) . 13allmoves_2([ _164 , _190 ], _251 ) :- iff_2( _287 , _289 ) , _287 = [ _190 , _166 ] , move_2( _328 , _330 ) , _328 = [ _164 , _166 ] , compute([[ _164 , _166 ],[ _190 , _166 ]],[ _330 , _289 ],[ _164 , _190 ], _251 ) . 14allmoves_2([ _164 , _196 ], _289 ) :- iff_3( _325 , _327 ) , _325 = [ _196 , _166 , _167 ] , move_2( _368 , _370 ) , _368 = [ _164 , _166 ] , allmoves_2( _409 , _411 ) , _409 = [ _164 , _167 ] , compute([[ _164 , _167 ],[ _164 , _166 ],[ _196 , _166 , _167 ]],[ _411 , _370 , _327 ],[ _164 , _196 ], _289 ) . 15 :- table(evaluateandchoose_7 / 2) . 16evaluateandchoose_7([ _236 , _165 , _166 , _167 , _168 , _169 , _170 ], _486 ) :- iff_3( _532 , _534 ) , _532 = [ _236 , _171 , _172 ] , move_3( _575 , _577 ) , _575 = [ _171 , _165 , _179 ] , alphabeta_6( _618 , _620 ) , _618 = [ _166 , _179 , _167 , _168 , _188 , _189 ] , iff_2( _667 , _669 ) , _667 = [ _356 , _189 ] , myis_2( _708 , _710 ) , _708 = [ _194 , _356 ] , cutoff_9( _749 , _751 ) , _749 = [ _171 , _194 , _166 , _167 , _168 , _172 , _165 , _169 , _170 ] , compute([[ _171 , _194 , _166 , _167 , _168 , _172 , _165 , _169 , _170 ],[ _194 , _356 ],[ _356 , _189 ],[ _166 , _179 , _167 , _168 , _188 , _189 ],[ _171 , _165 , _179 ],[ _236 , _171 , _172 ]],[ _751 , _710 , _669 , _620 , _577 , _534 ],[ _236 , _165 , _166 , _167 , _168 , _169 , _170 ], _486 ) . 17evaluateandchoose_7([ _197 , _162 , _163 , _164 , _165 , _166 , _215 ], _269 ) :- iff_1( _315 , _317 ) , _315 = [ _197 ] , iff_3( _354 , _356 ) , _354 = [ _215 , _166 , _164 ] , compute([[ _215 , _166 , _164 ],[ _197 ]],[ _356 , _317 ],[ _197 , _162 , _163 , _164 , _165 , _166 , _215 ], _269 ) . 18 :- table(cutoff_9 / 2) . 19cutoff_9([ _164 , _165 , _166 , _167 , _168 , _169 , _170 , _171 , _226 ], _297 ) :- iff_3( _347 , _349 ) , _347 = [ _226 , _164 , _165 ] , myis_2( _390 , _392 ) , _390 = [ _165 , _168 ] , compute([[ _165 , _168 ],[ _226 , _164 , _165 ]],[ _392 , _349 ],[ _164 , _165 , _166 , _167 , _168 , _169 , _170 , _171 , _226 ], _297 ) . 20cutoff_9([ _164 , _165 , _166 , _167 , _168 , _169 , _170 , _171 , _172 ], _369 ) :- myis_2( _419 , _421 ) , _419 = [ _167 , _165 ] , myis_2( _460 , _462 ) , _460 = [ _165 , _168 ] , evaluateandchoose_7( _501 , _503 ) , _501 = [ _169 , _170 , _166 , _165 , _168 , _164 , _172 ] , compute([[ _169 , _170 , _166 , _165 , _168 , _164 , _172 ],[ _165 , _168 ],[ _167 , _165 ]],[ _503 , _462 , _421 ],[ _164 , _165 , _166 , _167 , _168 , _169 , _170 , _171 , _172 ], _369 ) . 21cutoff_9([ _164 , _165 , _166 , _167 , _168 , _169 , _170 , _171 , _172 ], _334 ) :- myis_2( _384 , _386 ) , _384 = [ _165 , _167 ] , evaluateandchoose_7( _425 , _427 ) , _425 = [ _169 , _170 , _166 , _167 , _168 , _171 , _172 ] , compute([[ _169 , _170 , _166 , _167 , _168 , _171 , _172 ],[ _165 , _167 ]],[ _427 , _386 ],[ _164 , _165 , _166 , _167 , _168 , _169 , _170 , _171 , _172 ], _334 ) . 22 :- table(move_2 / 2) . 23move_2([ _164 , _217 ], _373 ) :- iff_3( _409 , _411 ) , _409 = [ _217 , _166 , _167 ] , iff_1( _452 , _454 ) , _452 = [ _245 ] , member_2( _491 , _493 ) , _491 = [ _166 , _245 ] , stonesinhole_3( _532 , _534 ) , _532 = [ _166 , _164 , _192 ] , extendmove_4( _575 , _577 ) , _575 = [ _192 , _166 , _164 , _167 ] , compute([[ _192 , _166 , _164 , _167 ],[ _166 , _164 , _192 ],[ _166 , _245 ],[ _245 ],[ _217 , _166 , _167 ]],[ _577 , _534 , _493 , _454 , _411 ],[ _164 , _217 ], _373 ) . 24move_2([ _196 , _204 ], _256 ) :- iff_4( _292 , _294 ) , _292 = [ _196 , _165 , _166 , _167 ] , iff_1( _337 , _339 ) , _337 = [ _204 ] , compute([[ _204 ],[ _196 , _165 , _166 , _167 ]],[ _339 , _294 ],[ _196 , _204 ], _256 ) . 25 :- table(member_2 / 2) . 26member_2([ _161 , _183 ], _219 ) :- iff_3( _255 , _257 ) , _255 = [ _183 , _161 , _164 ] , compute([[ _183 , _161 , _164 ]],[ _257 ],[ _161 , _183 ], _219 ) . 27member_2([ _164 , _190 ], _254 ) :- iff_3( _290 , _292 ) , _290 = [ _190 , _166 , _167 ] , member_2( _333 , _335 ) , _333 = [ _164 , _167 ] , compute([[ _164 , _167 ],[ _190 , _166 , _167 ]],[ _335 , _292 ],[ _164 , _190 ], _254 ) . 28 :- table(stonesinhole_3 / 2) . 29stonesinhole_3([ _164 , _203 , _166 ], _329 ) :- iff_5( _367 , _369 ) , _367 = [ _203 , _168 , _169 , _170 , _171 ] , nthmember_3( _414 , _416 ) , _414 = [ _164 , _168 , _166 ] , iff_1( _457 , _459 ) , _457 = [ _263 ] , myis_2( _496 , _498 ) , _496 = [ _166 , _263 ] , compute([[ _166 , _263 ],[ _263 ],[ _164 , _168 , _166 ],[ _203 , _168 , _169 , _170 , _171 ]],[ _498 , _459 , _416 , _369 ],[ _164 , _203 , _166 ], _329 ) . 30 :- table(extendmove_4 / 2) . 31extendmove_4([ _164 , _165 , _166 , _201 ], _283 ) :- iff_1( _323 , _325 ) , _323 = [ _201 ] , iff_2( _362 , _364 ) , _362 = [ _230 , _165 ] , myis_2( _403 , _405 ) , _403 = [ _164 , _230 ] , compute([[ _164 , _230 ],[ _230 , _165 ],[ _201 ]],[ _405 , _364 , _325 ],[ _164 , _165 , _166 , _201 ], _283 ) . 32extendmove_4([ _164 , _165 , _166 , _167 ], _346 ) :- iff_2( _386 , _388 ) , _386 = [ _239 , _165 ] , myis_2( _427 , _429 ) , _427 = [ _164 , _239 ] , distributestones_4( _468 , _470 ) , _468 = [ _164 , _165 , _166 , _184 ] , move_2( _513 , _515 ) , _513 = [ _184 , _167 ] , compute([[ _184 , _167 ],[ _164 , _165 , _166 , _184 ],[ _164 , _239 ],[ _239 , _165 ]],[ _515 , _470 , _429 , _388 ],[ _164 , _165 , _166 , _167 ], _346 ) . 33 :- table(move_3 / 2) . 34move_3([ _207 , _165 , _166 ], _354 ) :- iff_3( _392 , _394 ) , _392 = [ _207 , _167 , _168 ] , stonesinhole_3( _435 , _437 ) , _435 = [ _167 , _165 , _175 ] , distributestones_4( _478 , _480 ) , _478 = [ _175 , _167 , _165 , _183 ] , move_3( _523 , _525 ) , _523 = [ _168 , _183 , _166 ] , compute([[ _168 , _183 , _166 ],[ _175 , _167 , _165 , _183 ],[ _167 , _165 , _175 ],[ _207 , _167 , _168 ]],[ _525 , _480 , _437 , _394 ],[ _207 , _165 , _166 ], _354 ) . 35move_3([ _189 , _165 , _166 ], _252 ) :- iff_1( _290 , _292 ) , _290 = [ _189 ] , swap_2( _329 , _331 ) , _329 = [ _165 , _166 ] , compute([[ _165 , _166 ],[ _189 ]],[ _331 , _292 ],[ _189 , _165 , _166 ], _252 ) . 36 :- table(distributestones_4 / 2) . 37distributestones_4([ _164 , _165 , _166 , _167 ], _298 ) :- distributemyholes_5( _338 , _340 ) , _338 = [ _164 , _165 , _166 , _175 , _176 ] , distributeyourholes_3( _385 , _387 ) , _385 = [ _176 , _175 , _167 ] , compute([[ _176 , _175 , _167 ],[ _164 , _165 , _166 , _175 , _176 ]],[ _387 , _340 ],[ _164 , _165 , _166 , _167 ], _298 ) . 38 :- table(distributemyholes_5 / 2) . 39distributemyholes_5([ _164 , _165 , _241 , _249 , _168 ], _515 ) :- iff_5( _557 , _559 ) , _557 = [ _241 , _170 , _171 , _172 , _173 ] , iff_5( _604 , _606 ) , _604 = [ _249 , _175 , _176 , _172 , _173 ] , iff_2( _651 , _653 ) , _651 = [ _282 , _165 ] , myis_2( _692 , _694 ) , _692 = [ _164 , _282 ] , pickupanddistribute_4( _733 , _735 ) , _733 = [ _165 , _164 , _170 , _175 ] , iff_2( _778 , _780 ) , _778 = [ _348 , _171 ] , myis_2( _819 , _821 ) , _819 = [ _176 , _348 ] , iff_3( _860 , _862 ) , _860 = [ _378 , _164 , _165 ] , myis_2( _903 , _905 ) , _903 = [ _168 , _378 ] , compute([[ _168 , _378 ],[ _378 , _164 , _165 ],[ _176 , _348 ],[ _348 , _171 ],[ _165 , _164 , _170 , _175 ],[ _164 , _282 ],[ _282 , _165 ],[ _249 , _175 , _176 , _172 , _173 ],[ _241 , _170 , _171 , _172 , _173 ]],[ _905 , _862 , _821 , _780 , _735 , _694 , _653 , _606 , _559 ],[ _164 , _165 , _241 , _249 , _168 ], _515 ) . 40distributemyholes_5([ _164 , _165 , _237 , _167 , _247 ], _501 ) :- iff_5( _543 , _545 ) , _543 = [ _237 , _170 , _171 , _172 , _173 ] , iff_1( _590 , _592 ) , _590 = [ _247 ] , pickupanddistribute_4( _629 , _631 ) , _629 = [ _165 , _164 , _170 , _181 ] , checkcapture_7( _674 , _676 ) , _674 = [ _165 , _164 , _181 , _189 , _172 , _191 , _192 ] , updatekalah_5( _725 , _727 ) , _725 = [ _192 , _165 , _164 , _171 , _201 ] , iff_5( _772 , _774 ) , _772 = [ _400 , _189 , _201 , _191 , _173 ] , checkiffinished_2( _819 , _821 ) , _819 = [ _400 , _167 ] , compute([[ _400 , _167 ],[ _400 , _189 , _201 , _191 , _173 ],[ _192 , _165 , _164 , _171 , _201 ],[ _165 , _164 , _181 , _189 , _172 , _191 , _192 ],[ _165 , _164 , _170 , _181 ],[ _247 ],[ _237 , _170 , _171 , _172 , _173 ]],[ _821 , _774 , _727 , _676 , _631 , _592 , _545 ],[ _164 , _165 , _237 , _167 , _247 ], _501 ) . 41 :- table(checkcapture_7 / 2) . 42checkcapture_7([ _164 , _165 , _166 , _167 , _168 , _169 , _170 ], _632 ) :- iff_3( _678 , _680 ) , _678 = [ _290 , _164 , _165 ] , myis_2( _721 , _723 ) , _721 = [ _175 , _290 ] , iff_2( _762 , _764 ) , _762 = [ _321 , _175 ] , myis_2( _803 , _805 ) , _803 = [ _184 , _321 ] , nthmember_3( _844 , _846 ) , _844 = [ _184 , _168 , _195 ] , iff_1( _887 , _889 ) , _887 = [ _382 ] , myis_2( _926 , _928 ) , _926 = [ _195 , _382 ] , iff_1( _967 , _969 ) , _967 = [ _419 ] , nsubstitute_4( _1006 , _1008 ) , _1006 = [ _184 , _166 , _419 , _167 ] , iff_1( _1051 , _1053 ) , _1051 = [ _460 ] , nsubstitute_4( _1090 , _1092 ) , _1090 = [ _175 , _168 , _460 , _169 ] , iff_2( _1135 , _1137 ) , _1135 = [ _494 , _195 ] , myis_2( _1176 , _1178 ) , _1176 = [ _170 , _494 ] , compute([[ _170 , _494 ],[ _494 , _195 ],[ _175 , _168 , _460 , _169 ],[ _460 ],[ _184 , _166 , _419 , _167 ],[ _419 ],[ _195 , _382 ],[ _382 ],[ _184 , _168 , _195 ],[ _184 , _321 ],[ _321 , _175 ],[ _175 , _290 ],[ _290 , _164 , _165 ]],[ _1178 , _1137 , _1092 , _1053 , _1008 , _969 , _928 , _889 , _846 , _805 , _764 , _723 , _680 ],[ _164 , _165 , _166 , _167 , _168 , _169 , _170 ], _632 ) . 43checkcapture_7([ _161 , _162 , _198 , _163 , _208 , _165 , _218 ], _267 ) :- iffequal_2( _313 , _315 ) , _313 = [ _198 , _163 ] , iffequal_2( _354 , _356 ) , _354 = [ _208 , _165 ] , iff_1( _395 , _397 ) , _395 = [ _218 ] , compute([[ _218 ],[ _208 , _165 ],[ _198 , _163 ]],[ _397 , _356 , _315 ],[ _161 , _162 , _198 , _163 , _208 , _165 , _218 ], _267 ) . 44 :- table(checkiffinished_2 / 2) . 45checkiffinished_2([ _210 , _218 ], _388 ) :- iff_5( _424 , _426 ) , _424 = [ _210 , _167 , _168 , _169 , _170 ] , iff_4( _471 , _473 ) , _471 = [ _218 , _167 , _168 , _175 ] , zero_1( _516 , _518 ) , _516 = [ _167 ] , sumlist_2( _555 , _557 ) , _555 = [ _169 , _186 ] , iff_3( _596 , _598 ) , _596 = [ _290 , _170 , _186 ] , myis_2( _639 , _641 ) , _639 = [ _175 , _290 ] , compute([[ _175 , _290 ],[ _290 , _170 , _186 ],[ _169 , _186 ],[ _167 ],[ _218 , _167 , _168 , _175 ],[ _210 , _167 , _168 , _169 , _170 ]],[ _641 , _598 , _557 , _518 , _473 , _426 ],[ _210 , _218 ], _388 ) . 46checkiffinished_2([ _210 , _218 ], _388 ) :- iff_5( _424 , _426 ) , _424 = [ _210 , _167 , _168 , _169 , _170 ] , iff_4( _471 , _473 ) , _471 = [ _218 , _169 , _173 , _170 ] , zero_1( _516 , _518 ) , _516 = [ _169 ] , sumlist_2( _555 , _557 ) , _555 = [ _167 , _186 ] , iff_3( _596 , _598 ) , _596 = [ _290 , _168 , _186 ] , myis_2( _639 , _641 ) , _639 = [ _173 , _290 ] , compute([[ _173 , _290 ],[ _290 , _168 , _186 ],[ _167 , _186 ],[ _169 ],[ _218 , _169 , _173 , _170 ],[ _210 , _167 , _168 , _169 , _170 ]],[ _641 , _598 , _557 , _518 , _473 , _426 ],[ _210 , _218 ], _388 ) . 47checkiffinished_2([ _179 , _161 ], _205 ) :- iffequal_2( _241 , _243 ) , _241 = [ _179 , _161 ] , compute([[ _179 , _161 ]],[ _243 ],[ _179 , _161 ], _205 ) . 48 :- table(updatekalah_5 / 2) . 49updatekalah_5([ _198 , _165 , _166 , _210 , _167 ], _302 ) :- iff_1( _344 , _346 ) , _344 = [ _198 ] , iffequal_2( _383 , _385 ) , _383 = [ _210 , _167 ] , iff_2( _424 , _426 ) , _424 = [ _242 , _166 ] , myis_2( _465 , _467 ) , _465 = [ _165 , _242 ] , compute([[ _165 , _242 ],[ _242 , _166 ],[ _210 , _167 ],[ _198 ]],[ _467 , _426 , _385 , _346 ],[ _198 , _165 , _166 , _210 , _167 ], _302 ) . 50updatekalah_5([ _207 , _165 , _166 , _167 , _168 ], _349 ) :- iff_1( _391 , _393 ) , _391 = [ _207 ] , iff_2( _430 , _432 ) , _430 = [ _246 , _166 ] , myis_2( _471 , _473 ) , _471 = [ _165 , _246 ] , iff_2( _512 , _514 ) , _512 = [ _276 , _167 ] , myis_2( _553 , _555 ) , _553 = [ _168 , _276 ] , compute([[ _168 , _276 ],[ _276 , _167 ],[ _165 , _246 ],[ _246 , _166 ],[ _207 ]],[ _555 , _514 , _473 , _432 , _393 ],[ _207 , _165 , _166 , _167 , _168 ], _349 ) . 51updatekalah_5([ _164 , _165 , _166 , _167 , _168 ], _327 ) :- iff_1( _369 , _371 ) , _369 = [ _237 ] , myis_2( _408 , _410 ) , _408 = [ _164 , _237 ] , iff_3( _449 , _451 ) , _449 = [ _267 , _167 , _164 ] , myis_2( _492 , _494 ) , _492 = [ _168 , _267 ] , compute([[ _168 , _267 ],[ _267 , _167 , _164 ],[ _164 , _237 ],[ _237 ]],[ _494 , _451 , _410 , _371 ],[ _164 , _165 , _166 , _167 , _168 ], _327 ) . 52 :- table(distributeyourholes_3 / 2) . 53distributeyourholes_3([ _182 , _190 , _162 ], _230 ) :- iff_1( _268 , _270 ) , _268 = [ _182 ] , iffequal_2( _307 , _309 ) , _307 = [ _190 , _162 ] , compute([[ _190 , _162 ],[ _182 ]],[ _309 , _270 ],[ _182 , _190 , _162 ], _230 ) . 54distributeyourholes_3([ _164 , _219 , _227 ], _448 ) :- iff_5( _486 , _488 ) , _486 = [ _219 , _168 , _169 , _170 , _171 ] , iff_5( _533 , _535 ) , _533 = [ _227 , _168 , _169 , _175 , _171 ] , iff_1( _580 , _582 ) , _580 = [ _254 ] , myis_2( _619 , _621 ) , _619 = [ _254 , _164 ] , iff_1( _660 , _662 ) , _660 = [ _287 ] , myis_2( _699 , _701 ) , _699 = [ _164 , _287 ] , nonzero_1( _740 , _742 ) , _740 = [ _168 ] , distribute_3( _779 , _781 ) , _779 = [ _164 , _170 , _175 ] , compute([[ _164 , _170 , _175 ],[ _168 ],[ _164 , _287 ],[ _287 ],[ _254 , _164 ],[ _254 ],[ _227 , _168 , _169 , _175 , _171 ],[ _219 , _168 , _169 , _170 , _171 ]],[ _781 , _742 , _701 , _662 , _621 , _582 , _535 , _488 ],[ _164 , _219 , _227 ], _448 ) . 55distributeyourholes_3([ _164 , _230 , _238 ], _546 ) :- iff_5( _584 , _586 ) , _584 = [ _230 , _168 , _169 , _170 , _171 ] , iff_5( _631 , _633 ) , _631 = [ _238 , _168 , _169 , _175 , _171 ] , iff_1( _678 , _680 ) , _678 = [ _267 ] , myis_2( _717 , _719 ) , _717 = [ _164 , _267 ] , iff_1( _758 , _760 ) , _758 = [ _298 ] , distribute_3( _797 , _799 ) , _797 = [ _298 , _170 , _175 ] , iff_2( _840 , _842 ) , _840 = [ _334 , _164 ] , myis_2( _881 , _883 ) , _881 = [ _194 , _334 ] , iff_1( _922 , _924 ) , _922 = [ _368 ] , iff_5( _961 , _963 ) , _961 = [ _376 , _168 , _169 , _175 , _171 ] , distributestones_4( _1008 , _1010 ) , _1008 = [ _194 , _368 , _376 , _203 ] , compute([[ _194 , _368 , _376 , _203 ],[ _376 , _168 , _169 , _175 , _171 ],[ _368 ],[ _194 , _334 ],[ _334 , _164 ],[ _298 , _170 , _175 ],[ _298 ],[ _164 , _267 ],[ _267 ],[ _238 , _168 , _169 , _175 , _171 ],[ _230 , _168 , _169 , _170 , _171 ]],[ _1010 , _963 , _924 , _883 , _842 , _799 , _760 , _719 , _680 , _633 , _586 ],[ _164 , _230 , _238 ], _546 ) . 56distributeyourholes_3([ _164 , _218 , _226 ], _400 ) :- iff_5( _438 , _440 ) , _438 = [ _218 , _168 , _169 , _170 , _171 ] , iff_4( _485 , _487 ) , _485 = [ _226 , _168 , _169 , _176 ] , zero_1( _530 , _532 ) , _530 = [ _168 ] , sumlist_2( _569 , _571 ) , _569 = [ _170 , _187 ] , iff_4( _610 , _612 ) , _610 = [ _299 , _164 , _187 , _171 ] , myis_2( _655 , _657 ) , _655 = [ _176 , _299 ] , compute([[ _176 , _299 ],[ _299 , _164 , _187 , _171 ],[ _170 , _187 ],[ _168 ],[ _226 , _168 , _169 , _176 ],[ _218 , _168 , _169 , _170 , _171 ]],[ _657 , _612 , _571 , _532 , _487 , _440 ],[ _164 , _218 , _226 ], _400 ) . 57 :- table(pickupanddistribute_4 / 2) . 58pickupanddistribute_4([ _197 , _165 , _207 , _215 ], _315 ) :- iff_1( _355 , _357 ) , _355 = [ _197 ] , iff_3( _394 , _396 ) , _394 = [ _207 , _168 , _169 ] , iff_2( _437 , _439 ) , _437 = [ _215 , _171 ] , distribute_3( _478 , _480 ) , _478 = [ _165 , _169 , _171 ] , compute([[ _165 , _169 , _171 ],[ _215 , _171 ],[ _207 , _168 , _169 ],[ _197 ]],[ _480 , _439 , _396 , _357 ],[ _197 , _165 , _207 , _215 ], _315 ) . 59pickupanddistribute_4([ _164 , _165 , _217 , _225 ], _416 ) :- iff_3( _456 , _458 ) , _456 = [ _217 , _168 , _169 ] , iff_2( _499 , _501 ) , _499 = [ _225 , _171 ] , iff_1( _540 , _542 ) , _540 = [ _255 ] , myis_2( _579 , _581 ) , _579 = [ _164 , _255 ] , iff_2( _620 , _622 ) , _620 = [ _286 , _164 ] , myis_2( _661 , _663 ) , _661 = [ _182 , _286 ] , pickupanddistribute_4( _702 , _704 ) , _702 = [ _182 , _165 , _169 , _171 ] , compute([[ _182 , _165 , _169 , _171 ],[ _182 , _286 ],[ _286 , _164 ],[ _164 , _255 ],[ _255 ],[ _225 , _171 ],[ _217 , _168 , _169 ]],[ _704 , _663 , _622 , _581 , _542 , _501 , _458 ],[ _164 , _165 , _217 , _225 ], _416 ) . 60 :- table(distribute_3 / 2) . 61distribute_3([ _182 , _190 , _162 ], _230 ) :- iff_1( _268 , _270 ) , _268 = [ _182 ] , iffequal_2( _307 , _309 ) , _307 = [ _190 , _162 ] , compute([[ _190 , _162 ],[ _182 ]],[ _309 , _270 ],[ _182 , _190 , _162 ], _230 ) . 62distribute_3([ _164 , _220 , _228 ], _467 ) :- iff_3( _505 , _507 ) , _505 = [ _220 , _167 , _168 ] , iff_3( _548 , _550 ) , _548 = [ _228 , _169 , _170 ] , iff_1( _591 , _593 ) , _591 = [ _257 ] , myis_2( _630 , _632 ) , _630 = [ _164 , _257 ] , iff_2( _671 , _673 ) , _671 = [ _288 , _164 ] , myis_2( _712 , _714 ) , _712 = [ _181 , _288 ] , iff_2( _753 , _755 ) , _753 = [ _319 , _167 ] , myis_2( _794 , _796 ) , _794 = [ _169 , _319 ] , distribute_3( _835 , _837 ) , _835 = [ _181 , _168 , _170 ] , compute([[ _181 , _168 , _170 ],[ _169 , _319 ],[ _319 , _167 ],[ _181 , _288 ],[ _288 , _164 ],[ _164 , _257 ],[ _257 ],[ _228 , _169 , _170 ],[ _220 , _167 , _168 ]],[ _837 , _796 , _755 , _714 , _673 , _632 , _593 , _550 , _507 ],[ _164 , _220 , _228 ], _467 ) . 63distribute_3([ _161 , _184 , _192 ], _236 ) :- iff_1( _274 , _276 ) , _274 = [ _184 ] , iff_1( _313 , _315 ) , _313 = [ _192 ] , compute([[ _192 ],[ _184 ]],[ _315 , _276 ],[ _161 , _184 , _192 ], _236 ) . 64 :- table(value_2 / 2) . 65value_2([ _194 , _165 ], _291 ) :- iff_5( _327 , _329 ) , _327 = [ _194 , _167 , _168 , _169 , _170 ] , iff_3( _374 , _376 ) , _374 = [ _223 , _168 , _170 ] , myis_2( _417 , _419 ) , _417 = [ _165 , _223 ] , compute([[ _165 , _223 ],[ _223 , _168 , _170 ],[ _194 , _167 , _168 , _169 , _170 ]],[ _419 , _376 , _329 ],[ _194 , _165 ], _291 ) . 66 :- table(gameover_3 / 2) . 67gameover_3([ _202 , _165 , _212 ], _333 ) :- iff_2( _371 , _373 ) , _371 = [ _202 , _169 ] , iff_1( _412 , _414 ) , _412 = [ _212 ] , pieces_1( _451 , _453 ) , _451 = [ _176 ] , iff_2( _490 , _492 ) , _490 = [ _260 , _176 ] , myis_2( _531 , _533 ) , _531 = [ _169 , _260 ] , compute([[ _169 , _260 ],[ _260 , _176 ],[ _176 ],[ _212 ],[ _202 , _169 ]],[ _533 , _492 , _453 , _414 , _373 ],[ _202 , _165 , _212 ], _333 ) . 68gameover_3([ _202 , _210 , _165 ], _336 ) :- iff_5( _374 , _376 ) , _374 = [ _202 , _168 , _169 , _170 , _171 ] , iffequal_2( _421 , _423 ) , _421 = [ _210 , _165 ] , pieces_1( _462 , _464 ) , _462 = [ _176 ] , iff_2( _501 , _503 ) , _501 = [ _260 , _176 ] , myis_2( _542 , _544 ) , _542 = [ _169 , _260 ] , compute([[ _169 , _260 ],[ _260 , _176 ],[ _176 ],[ _210 , _165 ],[ _202 , _168 , _169 , _170 , _171 ]],[ _544 , _503 , _464 , _423 , _376 ],[ _202 , _210 , _165 ], _336 ) . 69gameover_3([ _208 , _165 , _166 ], _358 ) :- iff_5( _396 , _398 ) , _396 = [ _208 , _168 , _169 , _170 , _171 ] , pieces_1( _443 , _445 ) , _443 = [ _176 ] , iff_2( _482 , _484 ) , _482 = [ _261 , _176 ] , myis_2( _523 , _525 ) , _523 = [ _171 , _261 ] , nextplayer_2( _564 , _566 ) , _564 = [ _165 , _166 ] , compute([[ _165 , _166 ],[ _171 , _261 ],[ _261 , _176 ],[ _176 ],[ _208 , _168 , _169 , _170 , _171 ]],[ _566 , _525 , _484 , _445 , _398 ],[ _208 , _165 , _166 ], _358 ) . 70 :- table(announce_1 / 2) . 71announce_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 72announce_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 73announce_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 74 :- table(nthmember_3 / 2) . 75nthmember_3([ _164 , _209 , _166 ], _380 ) :- iff_3( _418 , _420 ) , _418 = [ _209 , _167 , _168 ] , iff_1( _461 , _463 ) , _461 = [ _240 ] , myis_2( _500 , _502 ) , _500 = [ _164 , _240 ] , iff_2( _541 , _543 ) , _541 = [ _271 , _164 ] , myis_2( _582 , _584 ) , _582 = [ _179 , _271 ] , nthmember_3( _623 , _625 ) , _623 = [ _179 , _168 , _166 ] , compute([[ _179 , _168 , _166 ],[ _179 , _271 ],[ _271 , _164 ],[ _164 , _240 ],[ _240 ],[ _209 , _167 , _168 ]],[ _625 , _584 , _543 , _502 , _463 , _420 ],[ _164 , _209 , _166 ], _380 ) . 76nthmember_3([ _184 , _192 , _164 ], _244 ) :- iff_1( _282 , _284 ) , _282 = [ _184 ] , iff_3( _321 , _323 ) , _321 = [ _192 , _164 , _165 ] , compute([[ _192 , _164 , _165 ],[ _184 ]],[ _323 , _284 ],[ _184 , _192 , _164 ], _244 ) . 77 :- table(nsubstitute_4 / 2) . 78nsubstitute_4([ _189 , _197 , _163 , _207 ], _277 ) :- iff_1( _317 , _319 ) , _317 = [ _189 ] , iff_3( _356 , _358 ) , _356 = [ _197 , _165 , _166 ] , iff_3( _399 , _401 ) , _399 = [ _207 , _163 , _166 ] , compute([[ _207 , _163 , _166 ],[ _197 , _165 , _166 ],[ _189 ]],[ _401 , _358 , _319 ],[ _189 , _197 , _163 , _207 ], _277 ) . 79nsubstitute_4([ _164 , _215 , _166 , _225 ], _419 ) :- iff_3( _459 , _461 ) , _459 = [ _215 , _168 , _169 ] , iff_3( _502 , _504 ) , _502 = [ _225 , _168 , _171 ] , iff_1( _545 , _547 ) , _545 = [ _255 ] , myis_2( _584 , _586 ) , _584 = [ _164 , _255 ] , iff_2( _625 , _627 ) , _625 = [ _286 , _164 ] , myis_2( _666 , _668 ) , _666 = [ _182 , _286 ] , nsubstitute_4( _707 , _709 ) , _707 = [ _182 , _169 , _166 , _171 ] , compute([[ _182 , _169 , _166 , _171 ],[ _182 , _286 ],[ _286 , _164 ],[ _164 , _255 ],[ _255 ],[ _225 , _168 , _171 ],[ _215 , _168 , _169 ]],[ _709 , _668 , _627 , _586 , _547 , _504 , _461 ],[ _164 , _215 , _166 , _225 ], _419 ) . 80 :- table(nextplayer_2 / 2) . 81nextplayer_2([ _179 , _187 ], _230 ) :- iff_1( _266 , _268 ) , _266 = [ _179 ] , iff_1( _305 , _307 ) , _305 = [ _187 ] , compute([[ _187 ],[ _179 ]],[ _307 , _268 ],[ _179 , _187 ], _230 ) . 82nextplayer_2([ _179 , _187 ], _230 ) :- iff_1( _266 , _268 ) , _266 = [ _179 ] , iff_1( _305 , _307 ) , _305 = [ _187 ] , compute([[ _187 ],[ _179 ]],[ _307 , _268 ],[ _179 , _187 ], _230 ) . 83 :- table(legal_1 / 2) . 84legal_1([ _196 ], _350 ) :- iff_3( _384 , _386 ) , _384 = [ _196 , _165 , _166 ] , iff_1( _427 , _429 ) , _427 = [ _221 ] , myis_2( _466 , _468 ) , _466 = [ _221 , _165 ] , iff_1( _507 , _509 ) , _507 = [ _254 ] , myis_2( _546 , _548 ) , _546 = [ _165 , _254 ] , legal_1( _587 , _589 ) , _587 = [ _166 ] , compute([[ _166 ],[ _165 , _254 ],[ _254 ],[ _221 , _165 ],[ _221 ],[ _196 , _165 , _166 ]],[ _589 , _548 , _509 , _468 , _429 , _386 ],[ _196 ], _350 ) . 85legal_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 86 :- table(genlegal_1 / 2) . 87genlegal_1([ _202 ], _308 ) :- iff_3( _342 , _344 ) , _342 = [ _202 , _165 , _166 ] , iff_1( _385 , _387 ) , _385 = [ _229 ] , member_2( _424 , _426 ) , _424 = [ _165 , _229 ] , genlegal_1( _465 , _467 ) , _465 = [ _166 ] , compute([[ _166 ],[ _165 , _229 ],[ _229 ],[ _202 , _165 , _166 ]],[ _467 , _426 , _387 , _344 ],[ _202 ], _308 ) . 88genlegal_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 89 :- table(swap_2 / 2) . 90swap_2([ _189 , _197 ], _264 ) :- iff_5( _300 , _302 ) , _300 = [ _189 , _164 , _165 , _166 , _167 ] , iff_5( _347 , _349 ) , _347 = [ _197 , _166 , _167 , _164 , _165 ] , compute([[ _197 , _166 , _167 , _164 , _165 ],[ _189 , _164 , _165 , _166 , _167 ]],[ _349 , _302 ],[ _189 , _197 ], _264 ) . 91 :- table(displaygame_2 / 2) . 92displaygame_2([ _164 , _187 ], _240 ) :- iff_1( _276 , _278 ) , _276 = [ _187 ] , show_1( _315 , _317 ) , _315 = [ _164 ] , compute([[ _164 ],[ _187 ]],[ _317 , _278 ],[ _164 , _187 ], _240 ) . 93displaygame_2([ _164 , _193 ], _275 ) :- iff_1( _311 , _313 ) , _311 = [ _193 ] , swap_2( _350 , _352 ) , _350 = [ _164 , _171 ] , show_1( _391 , _393 ) , _391 = [ _171 ] , compute([[ _171 ],[ _164 , _171 ],[ _193 ]],[ _393 , _352 , _313 ],[ _164 , _193 ], _275 ) . 94 :- table(show_1 / 2) . 95show_1([ _204 ], _350 ) :- iff_5( _384 , _386 ) , _384 = [ _204 , _166 , _167 , _168 , _169 ] , reverse_2( _431 , _433 ) , _431 = [ _166 , _175 ] , writestones_1( _472 , _474 ) , _472 = [ _175 ] , writekalahs_2( _511 , _513 ) , _511 = [ _167 , _169 ] , writestones_1( _552 , _554 ) , _552 = [ _168 ] , compute([[ _168 ],[ _167 , _169 ],[ _175 ],[ _166 , _175 ],[ _204 , _166 , _167 , _168 , _169 ]],[ _554 , _513 , _474 , _433 , _386 ],[ _204 ], _350 ) . 96 :- table(writestones_1 / 2) . 97writestones_1([ _164 ], _215 ) :- displayholes_1( _249 , _251 ) , _249 = [ _164 ] , compute([[ _164 ]],[ _251 ],[ _164 ], _215 ) . 98 :- table(displayholes_1 / 2) . 99displayholes_1([ _189 ], _271 ) :- iff_3( _305 , _307 ) , _305 = [ _189 , _165 , _166 ] , writepile_1( _348 , _350 ) , _348 = [ _165 ] , displayholes_1( _387 , _389 ) , _387 = [ _166 ] , compute([[ _166 ],[ _165 ],[ _189 , _165 , _166 ]],[ _389 , _350 , _307 ],[ _189 ], _271 ) . 100displayholes_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 101 :- table(writepile_1 / 2) . 102writepile_1([ _164 ], _269 ) :- iff_1( _303 , _305 ) , _303 = [ _209 ] , myis_2( _342 , _344 ) , _342 = [ _164 , _209 ] , wr_1( _383 , _385 ) , _383 = [ _164 ] , compute([[ _164 ],[ _164 , _209 ],[ _209 ]],[ _385 , _344 , _305 ],[ _164 ], _269 ) . 103writepile_1([ _164 ], _269 ) :- iff_1( _303 , _305 ) , _303 = [ _209 ] , myis_2( _342 , _344 ) , _342 = [ _164 , _209 ] , wr_1( _383 , _385 ) , _383 = [ _164 ] , compute([[ _164 ],[ _164 , _209 ],[ _209 ]],[ _385 , _344 , _305 ],[ _164 ], _269 ) . 104 :- table(writekalahs_2 / 2) . 105writekalahs_2([ _164 , _165 ], _250 ) :- wr_1( _286 , _288 ) , _286 = [ _164 ] , wr_1( _325 , _327 ) , _325 = [ _165 ] , compute([[ _165 ],[ _164 ]],[ _327 , _288 ],[ _164 , _165 ], _250 ) . 106 :- table(zero_1 / 2) . 107zero_1([ _188 ], _217 ) :- iff_1( _251 , _253 ) , _251 = [ _188 ] , compute([[ _188 ]],[ _253 ],[ _188 ], _217 ) . 108 :- table(nonzero_1 / 2) . 109nonzero_1([ _164 ], _252 ) :- iff_1( _286 , _288 ) , _286 = [ _215 ] , myis_2( _325 , _327 ) , _325 = [ _164 , _215 ] , compute([[ _164 , _215 ],[ _215 ]],[ _327 , _288 ],[ _164 ], _252 ) . 110 :- table(reverse_2 / 2) . 111reverse_2([ _164 , _165 ], _252 ) :- iff_1( _288 , _290 ) , _288 = [ _212 ] , rev_3( _327 , _329 ) , _327 = [ _164 , _212 , _165 ] , compute([[ _164 , _212 , _165 ],[ _212 ]],[ _329 , _290 ],[ _164 , _165 ], _252 ) . 112 :- table(rev_3 / 2) . 113rev_3([ _182 , _190 , _162 ], _230 ) :- iff_1( _268 , _270 ) , _268 = [ _182 ] , iffequal_2( _307 , _309 ) , _307 = [ _190 , _162 ] , compute([[ _190 , _162 ],[ _182 ]],[ _309 , _270 ],[ _182 , _190 , _162 ], _230 ) . 114rev_3([ _194 , _165 , _166 ], _293 ) :- iff_3( _331 , _333 ) , _331 = [ _194 , _167 , _168 ] , iff_3( _374 , _376 ) , _374 = [ _228 , _167 , _165 ] , rev_3( _417 , _419 ) , _417 = [ _168 , _228 , _166 ] , compute([[ _168 , _228 , _166 ],[ _228 , _167 , _165 ],[ _194 , _167 , _168 ]],[ _419 , _376 , _333 ],[ _194 , _165 , _166 ], _293 ) . 115 :- table(sumlist_2 / 2) . 116sumlist_2([ _164 , _165 ], _252 ) :- iff_1( _288 , _290 ) , _288 = [ _212 ] , sumlist_3( _327 , _329 ) , _327 = [ _164 , _212 , _165 ] , compute([[ _164 , _212 , _165 ],[ _212 ]],[ _329 , _290 ],[ _164 , _165 ], _252 ) . 117 :- table(sumlist_3 / 2) . 118sumlist_3([ _182 , _190 , _162 ], _230 ) :- iff_1( _268 , _270 ) , _268 = [ _182 ] , iffequal_2( _307 , _309 ) , _307 = [ _190 , _162 ] , compute([[ _190 , _162 ],[ _182 ]],[ _309 , _270 ],[ _182 , _190 , _162 ], _230 ) . 119sumlist_3([ _201 , _165 , _166 ], _326 ) :- iff_3( _364 , _366 ) , _364 = [ _201 , _167 , _168 ] , iff_2( _407 , _409 ) , _407 = [ _234 , _165 ] , myis_2( _448 , _450 ) , _448 = [ _173 , _234 ] , sumlist_3( _489 , _491 ) , _489 = [ _168 , _173 , _166 ] , compute([[ _168 , _173 , _166 ],[ _173 , _234 ],[ _234 , _165 ],[ _201 , _167 , _168 ]],[ _491 , _450 , _409 , _366 ],[ _201 , _165 , _166 ], _326 ) . 120 :- table(lookahead_1 / 2) . 121lookahead_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 122lookahead_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 123 :- table(initialize_3 / 2) . 124initialize_3([ _187 , _195 , _203 ], _260 ) :- iff_1( _298 , _300 ) , _298 = [ _187 ] , iff_1( _337 , _339 ) , _337 = [ _195 ] , iff_1( _376 , _378 ) , _376 = [ _203 ] , compute([[ _203 ],[ _195 ],[ _187 ]],[ _378 , _339 , _300 ],[ _187 , _195 , _203 ], _260 ) . 125initialize_3([ _187 , _195 , _203 ], _260 ) :- iff_1( _298 , _300 ) , _298 = [ _187 ] , iff_1( _337 , _339 ) , _337 = [ _195 ] , iff_1( _376 , _378 ) , _376 = [ _203 ] , compute([[ _203 ],[ _195 ],[ _187 ]],[ _378 , _339 , _300 ],[ _187 , _195 , _203 ], _260 ) . 126 :- table(pieces_1 / 2) . 127pieces_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 128pieces_1([ _176 ], _205 ) :- iff_1( _239 , _241 ) , _239 = [ _176 ] , compute([[ _176 ]],[ _241 ],[ _176 ], _205 ) . 129 :- table(myis_2 / 2) . 130myis_2([ _179 , _187 ], _230 ) :- iff_1( _266 , _268 ) , _266 = [ _179 ] , iff_1( _305 , _307 ) , _305 = [ _187 ] , compute([[ _187 ],[ _179 ]],[ _307 , _268 ],[ _179 , _187 ], _230 ) . 131 :- table(wr_1 / 2) . 132wr_1([ _161 ], _186 ) :- compute([],[],[ _161 ], _186 ) . 133exec :- wr_1( _163 , _164 ) . 134exec :- myis_2( _163 , _164 ) . 135exec :- pieces_1( _163 , _164 ) . 136exec :- initialize_3( _163 , _164 ) . 137exec :- lookahead_1( _163 , _164 ) . 138exec :- sumlist_3( _163 , _164 ) . 139exec :- sumlist_2( _163 , _164 ) . 140exec :- rev_3( _163 , _164 ) . 141exec :- reverse_2( _163 , _164 ) . 142exec :- nonzero_1( _163 , _164 ) . 143exec :- zero_1( _163 , _164 ) . 144exec :- writekalahs_2( _163 , _164 ) . 145exec :- writepile_1( _163 , _164 ) . 146exec :- displayholes_1( _163 , _164 ) . 147exec :- writestones_1( _163 , _164 ) . 148exec :- show_1( _163 , _164 ) . 149exec :- swap_2( _163 , _164 ) . 150exec :- displaygame_2( _163 , _164 ) . 151exec :- member_2( _163 , _164 ) . 152exec :- genlegal_1( _163 , _164 ) . 153exec :- legal_1( _163 , _164 ) . 154exec :- nextplayer_2( _163 , _164 ) . 155exec :- nsubstitute_4( _163 , _164 ) . 156exec :- nthmember_3( _163 , _164 ) . 157exec :- announce_1( _163 , _164 ) . 158exec :- gameover_3( _163 , _164 ) . 159exec :- value_2( _163 , _164 ) . 160exec :- distribute_3( _163 , _164 ) . 161exec :- pickupanddistribute_4( _163 , _164 ) . 162exec :- checkiffinished_2( _163 , _164 ) . 163exec :- updatekalah_5( _163 , _164 ) . 164exec :- checkcapture_7( _163 , _164 ) . 165exec :- distributemyholes_5( _163 , _164 ) . 166exec :- distributeyourholes_3( _163 , _164 ) . 167exec :- distributestones_4( _163 , _164 ) . 168exec :- stonesinhole_3( _163 , _164 ) . 169exec :- move_3( _163 , _164 ) . 170exec :- extendmove_4( _163 , _164 ) . 171exec :- move_2( _163 , _164 ) . 172exec :- allmoves_2( _163 , _164 ) . 173exec :- cutoff_9( _163 , _164 ) . 174exec :- evaluateandchoose_7( _163 , _164 ) . 175exec :- alphabeta_6( _163 , _164 ) . 176exec :- choosemove_3( _163 , _164 ) . 177exec :- play_3( _163 , _164 ) . 178exec :- play_2( _163 , _164 ) . 179 180 181show :- wr_1( _163 , _164 ) , write(wr_1( _163 , _164 )) , nl , fail . 182show :- myis_2( _163 , _164 ) , write(myis_2( _163 , _164 )) , nl , fail . 183show :- pieces_1( _163 , _164 ) , write(pieces_1( _163 , _164 )) , nl , fail . 184show :- initialize_3( _163 , _164 ) , write(initialize_3( _163 , _164 )) , nl , fail . 185show :- lookahead_1( _163 , _164 ) , write(lookahead_1( _163 , _164 )) , nl , fail . 186show :- sumlist_3( _163 , _164 ) , write(sumlist_3( _163 , _164 )) , nl , fail . 187show :- sumlist_2( _163 , _164 ) , write(sumlist_2( _163 , _164 )) , nl , fail . 188show :- rev_3( _163 , _164 ) , write(rev_3( _163 , _164 )) , nl , fail . 189show :- reverse_2( _163 , _164 ) , write(reverse_2( _163 , _164 )) , nl , fail . 190show :- nonzero_1( _163 , _164 ) , write(nonzero_1( _163 , _164 )) , nl , fail . 191show :- zero_1( _163 , _164 ) , write(zero_1( _163 , _164 )) , nl , fail . 192show :- writekalahs_2( _163 , _164 ) , write(writekalahs_2( _163 , _164 )) , nl , fail . 193show :- writepile_1( _163 , _164 ) , write(writepile_1( _163 , _164 )) , nl , fail . 194show :- displayholes_1( _163 , _164 ) , write(displayholes_1( _163 , _164 )) , nl , fail . 195show :- writestones_1( _163 , _164 ) , write(writestones_1( _163 , _164 )) , nl , fail . 196show :- show_1( _163 , _164 ) , write(show_1( _163 , _164 )) , nl , fail . 197show :- displaygame_2( _163 , _164 ) , write(displaygame_2( _163 , _164 )) , nl , fail . 198show :- swap_2( _163 , _164 ) , write(swap_2( _163 , _164 )) , nl , fail . 199show :- genlegal_1( _163 , _164 ) , write(genlegal_1( _163 , _164 )) , nl , fail . 200show :- legal_1( _163 , _164 ) , write(legal_1( _163 , _164 )) , nl , fail . 201show :- nextplayer_2( _163 , _164 ) , write(nextplayer_2( _163 , _164 )) , nl , fail . 202show :- nsubstitute_4( _163 , _164 ) , write(nsubstitute_4( _163 , _164 )) , nl , fail . 203show :- nthmember_3( _163 , _164 ) , write(nthmember_3( _163 , _164 )) , nl , fail . 204show :- announce_1( _163 , _164 ) , write(announce_1( _163 , _164 )) , nl , fail . 205show :- gameover_3( _163 , _164 ) , write(gameover_3( _163 , _164 )) , nl , fail . 206show :- value_2( _163 , _164 ) , write(value_2( _163 , _164 )) , nl , fail . 207show :- distribute_3( _163 , _164 ) , write(distribute_3( _163 , _164 )) , nl , fail . 208show :- pickupanddistribute_4( _163 , _164 ) , write(pickupanddistribute_4( _163 , _164 )) , nl , fail . 209show :- distributeyourholes_3( _163 , _164 ) , write(distributeyourholes_3( _163 , _164 )) , nl , fail . 210show :- updatekalah_5( _163 , _164 ) , write(updatekalah_5( _163 , _164 )) , nl , fail . 211show :- checkiffinished_2( _163 , _164 ) , write(checkiffinished_2( _163 , _164 )) , nl , fail . 212show :- checkcapture_7( _163 , _164 ) , write(checkcapture_7( _163 , _164 )) , nl , fail . 213show :- distributemyholes_5( _163 , _164 ) , write(distributemyholes_5( _163 , _164 )) , nl , fail . 214show :- distributestones_4( _163 , _164 ) , write(distributestones_4( _163 , _164 )) , nl , fail . 215show :- move_3( _163 , _164 ) , write(move_3( _163 , _164 )) , nl , fail . 216show :- extendmove_4( _163 , _164 ) , write(extendmove_4( _163 , _164 )) , nl , fail . 217show :- stonesinhole_3( _163 , _164 ) , write(stonesinhole_3( _163 , _164 )) , nl , fail . 218show :- member_2( _163 , _164 ) , write(member_2( _163 , _164 )) , nl , fail . 219show :- move_2( _163 , _164 ) , write(move_2( _163 , _164 )) , nl , fail . 220show :- cutoff_9( _163 , _164 ) , write(cutoff_9( _163 , _164 )) , nl , fail . 221show :- evaluateandchoose_7( _163 , _164 ) , write(evaluateandchoose_7( _163 , _164 )) , nl , fail . 222show :- allmoves_2( _163 , _164 ) , write(allmoves_2( _163 , _164 )) , nl , fail . 223show :- alphabeta_6( _163 , _164 ) , write(alphabeta_6( _163 , _164 )) , nl , fail . 224show :- choosemove_3( _163 , _164 ) , write(choosemove_3( _163 , _164 )) , nl , fail . 225show :- play_3( _163 , _164 ) , write(play_3( _163 , _164 )) , nl , fail . 226show :- play_2( _163 , _164 ) , write(play_2( _163 , _164 )) , nl , fail . 227