TicTacToe.dot 55.1 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526
digraph g {
__start0 [label="" shape="none"];

	s0 [label="0" shape="circle"];
	s1 [label="1" shape="circle"];
	s2 [label="2" shape="circle"];
	s3 [label="3" shape="circle"];
	s4 [label="4" shape="circle"];
	s5 [label="5" shape="circle"];
	s6 [label="6" shape="circle"];
	s7 [label="7" shape="circle"];
	s8 [label="8" shape="circle"];
	s9 [label="9" shape="circle"];
	s10 [label="10" shape="circle"];
	s11 [label="11" shape="circle"];
	s12 [label="12" shape="circle"];
	s13 [label="13" shape="circle"];
	s14 [label="14" shape="circle"];
	s15 [label="15" shape="circle"];
	s16 [label="16" shape="circle"];
	s17 [label="17" shape="circle"];
	s18 [label="18" shape="circle"];
	s19 [label="19" shape="circle"];
	s20 [label="20" shape="circle"];
	s21 [label="21" shape="circle"];
	s22 [label="22" shape="circle"];
	s23 [label="23" shape="circle"];
	s24 [label="24" shape="circle"];
	s25 [label="25" shape="circle"];
	s26 [label="26" shape="circle"];
	s27 [label="27" shape="circle"];
	s28 [label="28" shape="circle"];
	s29 [label="29" shape="circle"];
	s30 [label="30" shape="circle"];
	s31 [label="31" shape="circle"];
	s32 [label="32" shape="circle"];
	s33 [label="33" shape="circle"];
	s34 [label="34" shape="circle"];
	s35 [label="35" shape="circle"];
	s36 [label="36" shape="circle"];
	s37 [label="37" shape="circle"];
	s38 [label="38" shape="circle"];
	s39 [label="39" shape="circle"];
	s40 [label="40" shape="circle"];
	s41 [label="41" shape="circle"];
	s42 [label="42" shape="circle"];
	s43 [label="43" shape="circle"];
	s44 [label="44" shape="circle"];
	s45 [label="45" shape="circle"];
	s46 [label="46" shape="circle"];
	s47 [label="47" shape="circle"];
	s48 [label="48" shape="circle"];
	s49 [label="49" shape="circle"];
	s50 [label="50" shape="circle"];
	s51 [label="51" shape="circle"];
	s52 [label="52" shape="circle"];
	s53 [label="53" shape="circle"];
	s54 [label="54" shape="circle"];
	s55 [label="55" shape="circle"];
	s56 [label="56" shape="circle"];
	s57 [label="57" shape="circle"];
	s58 [label="58" shape="circle"];
	s59 [label="59" shape="circle"];
	s60 [label="60" shape="circle"];
	s61 [label="61" shape="circle"];
	s62 [label="62" shape="circle"];
	s63 [label="63" shape="circle"];
	s64 [label="64" shape="circle"];
	s65 [label="65" shape="circle"];
	s66 [label="66" shape="circle"];
	s67 [label="67" shape="circle"];
	s68 [label="68" shape="circle"];
	s69 [label="69" shape="circle"];
	s70 [label="70" shape="circle"];
	s71 [label="71" shape="circle"];
	s72 [label="72" shape="circle"];
	s73 [label="73" shape="circle"];
	s74 [label="74" shape="circle"];
	s75 [label="75" shape="circle"];
	s76 [label="76" shape="circle"];
	s77 [label="77" shape="circle"];
	s78 [label="78" shape="circle"];
	s79 [label="79" shape="circle"];
	s80 [label="80" shape="circle"];
	s81 [label="81" shape="circle"];
	s82 [label="82" shape="circle"];
	s83 [label="83" shape="circle"];
	s84 [label="84" shape="circle"];
	s85 [label="85" shape="circle"];
	s86 [label="86" shape="circle"];
	s87 [label="87" shape="circle"];
	s88 [label="88" shape="circle"];
	s89 [label="89" shape="circle"];
	s90 [label="90" shape="circle"];
	s91 [label="91" shape="circle"];
	s92 [label="92" shape="circle"];
	s93 [label="93" shape="circle"];
	s94 [label="94" shape="circle"];
	s95 [label="95" shape="circle"];
	s96 [label="96" shape="circle"];
	s97 [label="97" shape="circle"];
	s98 [label="98" shape="circle"];
	s99 [label="99" shape="circle"];
	s100 [label="100" shape="circle"];
	s101 [label="101" shape="circle"];
	s102 [label="102" shape="circle"];
	s103 [label="103" shape="circle"];
	s104 [label="104" shape="circle"];
	s105 [label="105" shape="circle"];
	s106 [label="106" shape="circle"];
	s107 [label="107" shape="circle"];
	s108 [label="108" shape="circle"];
	s109 [label="109" shape="circle"];
	s110 [label="110" shape="circle"];
	s111 [label="111" shape="circle"];
	s112 [label="112" shape="circle"];
	s113 [label="113" shape="circle"];
	s114 [label="114" shape="circle"];
	s115 [label="115" shape="circle"];
	s116 [label="116" shape="circle"];
	s117 [label="117" shape="circle"];
	s118 [label="118" shape="circle"];
	s119 [label="119" shape="circle"];
	s120 [label="120" shape="circle"];
	s121 [label="121" shape="circle"];
	s122 [label="122" shape="circle"];
	s123 [label="123" shape="circle"];
	s124 [label="124" shape="circle"];
	s125 [label="125" shape="circle"];
	s126 [label="126" shape="circle"];
	s127 [label="127" shape="circle"];
	s128 [label="128" shape="circle"];
	s129 [label="129" shape="circle"];
	s130 [label="130" shape="circle"];
	s131 [label="131" shape="circle"];
	s132 [label="132" shape="circle"];
	s133 [label="133" shape="circle"];
	s134 [label="134" shape="circle"];
	s135 [label="135" shape="circle"];
	s136 [label="136" shape="circle"];
	s137 [label="137" shape="circle"];
	s138 [label="138" shape="circle"];
	s139 [label="139" shape="circle"];
	s140 [label="140" shape="circle"];
	s141 [label="141" shape="circle"];
	s142 [label="142" shape="circle"];
	s143 [label="143" shape="circle"];
	s144 [label="144" shape="circle"];
	s145 [label="145" shape="circle"];
	s146 [label="146" shape="circle"];
	s147 [label="147" shape="circle"];
	s148 [label="148" shape="circle"];
	s149 [label="149" shape="circle"];
	s150 [label="150" shape="circle"];
	s151 [label="151" shape="circle"];
	s0 -> s102 [label="0 / XO_______"];
	s0 -> s1 [label="1 / OX_______"];
	s0 -> s2 [label="2 / O_X______"];
	s0 -> s3 [label="3 / O__X_____"];
	s0 -> s4 [label="4 / O___X____"];
	s0 -> s5 [label="5 / O____X___"];
	s0 -> s6 [label="6 / O_____X__"];
	s0 -> s7 [label="7 / O______X_"];
	s0 -> s8 [label="8 / O_______X"];
	s1 -> s1 [label="0 / OX_______"];
	s1 -> s1 [label="1 / OX_______"];
	s1 -> s9 [label="2 / OXXO_____"];
	s1 -> s10 [label="3 / OXOX_____"];
	s1 -> s11 [label="4 / OX__X__O_"];
	s1 -> s12 [label="5 / OXO__X___"];
	s1 -> s13 [label="6 / OXO___X__"];
	s1 -> s14 [label="7 / OX__O__X_"];
	s1 -> s15 [label="8 / OXO_____X"];
	s2 -> s2 [label="0 / O_X______"];
	s2 -> s9 [label="1 / OXXO_____"];
	s2 -> s2 [label="2 / O_X______"];
	s2 -> s16 [label="3 / OOXX_____"];
	s2 -> s17 [label="4 / O_X_X_O__"];
	s2 -> s18 [label="5 / O_X__X__O"];
	s2 -> s19 [label="6 / O_X_O_X__"];
	s2 -> s20 [label="7 / OOX____X_"];
	s2 -> s21 [label="8 / O_X__O__X"];
	s3 -> s3 [label="0 / O__X_____"];
	s3 -> s10 [label="1 / OXOX_____"];
	s3 -> s16 [label="2 / OOXX_____"];
	s3 -> s3 [label="3 / O__X_____"];
	s3 -> s22 [label="4 / O__XXO___"];
	s3 -> s23 [label="5 / O__XOX___"];
	s3 -> s24 [label="6 / OO_X__X__"];
	s3 -> s25 [label="7 / OO_X___X_"];
	s3 -> s26 [label="8 / OO_X____X"];
	s4 -> s4 [label="0 / O___X____"];
	s4 -> s11 [label="1 / OX__X__O_"];
	s4 -> s17 [label="2 / O_X_X_O__"];
	s4 -> s22 [label="3 / O__XXO___"];
	s4 -> s4 [label="4 / O___X____"];
	s4 -> s27 [label="5 / O__OXX___"];
	s4 -> s28 [label="6 / O_O_X_X__"];
	s4 -> s29 [label="7 / OO__X__X_"];
	s4 -> s30 [label="8 / OO__X___X"];
	s5 -> s5 [label="0 / O____X___"];
	s5 -> s12 [label="1 / OXO__X___"];
	s5 -> s18 [label="2 / O_X__X__O"];
	s5 -> s23 [label="3 / O__XOX___"];
	s5 -> s27 [label="4 / O__OXX___"];
	s5 -> s5 [label="5 / O____X___"];
	s5 -> s31 [label="6 / OO___XX__"];
	s5 -> s32 [label="7 / OO___X_X_"];
	s5 -> s33 [label="8 / O_O__X__X"];
	s6 -> s6 [label="0 / O_____X__"];
	s6 -> s13 [label="1 / OXO___X__"];
	s6 -> s19 [label="2 / O_X_O_X__"];
	s6 -> s24 [label="3 / OO_X__X__"];
	s6 -> s28 [label="4 / O_O_X_X__"];
	s6 -> s31 [label="5 / OO___XX__"];
	s6 -> s6 [label="6 / O_____X__"];
	s6 -> s34 [label="7 / O_____XXO"];
	s6 -> s35 [label="8 / O_____XOX"];
	s7 -> s7 [label="0 / O______X_"];
	s7 -> s14 [label="1 / OX__O__X_"];
	s7 -> s20 [label="2 / OOX____X_"];
	s7 -> s25 [label="3 / OO_X___X_"];
	s7 -> s29 [label="4 / OO__X__X_"];
	s7 -> s32 [label="5 / OO___X_X_"];
	s7 -> s34 [label="6 / O_____XXO"];
	s7 -> s7 [label="7 / O______X_"];
	s7 -> s36 [label="8 / O_____OXX"];
	s8 -> s8 [label="0 / O_______X"];
	s8 -> s15 [label="1 / OXO_____X"];
	s8 -> s21 [label="2 / O_X__O__X"];
	s8 -> s26 [label="3 / OO_X____X"];
	s8 -> s30 [label="4 / OO__X___X"];
	s8 -> s33 [label="5 / O_O__X__X"];
	s8 -> s35 [label="6 / O_____XOX"];
	s8 -> s36 [label="7 / O_____OXX"];
	s8 -> s8 [label="8 / O_______X"];
	s9 -> s9 [label="0 / OXXO_____"];
	s9 -> s9 [label="1 / OXXO_____"];
	s9 -> s9 [label="2 / OXXO_____"];
	s9 -> s9 [label="3 / OXXO_____"];
	s9 -> s0 [label="4 / OXXOX_O__"];
	s9 -> s0 [label="5 / OXXO_XO__"];
	s9 -> s37 [label="6 / OXXOO_X__"];
	s9 -> s0 [label="7 / OXXO__OX_"];
	s9 -> s0 [label="8 / OXXO__O_X"];
	s10 -> s10 [label="0 / OXOX_____"];
	s10 -> s10 [label="1 / OXOX_____"];
	s10 -> s10 [label="2 / OXOX_____"];
	s10 -> s10 [label="3 / OXOX_____"];
	s10 -> s38 [label="4 / OXOXXO___"];
	s10 -> s39 [label="5 / OXOXOX___"];
	s10 -> s40 [label="6 / OXOXO_X__"];
	s10 -> s41 [label="7 / OXOXO__X_"];
	s10 -> s42 [label="8 / OXOXO___X"];
	s11 -> s11 [label="0 / OX__X__O_"];
	s11 -> s11 [label="1 / OX__X__O_"];
	s11 -> s43 [label="2 / OXX_X_OO_"];
	s11 -> s44 [label="3 / OX_XXO_O_"];
	s11 -> s11 [label="4 / OX__X__O_"];
	s11 -> s45 [label="5 / OX_OXX_O_"];
	s11 -> s46 [label="6 / OXO_X_XO_"];
	s11 -> s11 [label="7 / OX__X__O_"];
	s11 -> s47 [label="8 / OXO_X__OX"];
	s12 -> s12 [label="0 / OXO__X___"];
	s12 -> s12 [label="1 / OXO__X___"];
	s12 -> s12 [label="2 / OXO__X___"];
	s12 -> s39 [label="3 / OXOXOX___"];
	s12 -> s48 [label="4 / OXOOXX___"];
	s12 -> s12 [label="5 / OXO__X___"];
	s12 -> s49 [label="6 / OXOO_XX__"];
	s12 -> s50 [label="7 / OXO_OX_X_"];
	s12 -> s51 [label="8 / OXOO_X__X"];
	s13 -> s13 [label="0 / OXO___X__"];
	s13 -> s13 [label="1 / OXO___X__"];
	s13 -> s13 [label="2 / OXO___X__"];
	s13 -> s40 [label="3 / OXOXO_X__"];
	s13 -> s46 [label="4 / OXO_X_XO_"];
	s13 -> s49 [label="5 / OXOO_XX__"];
	s13 -> s13 [label="6 / OXO___X__"];
	s13 -> s52 [label="7 / OXO_O_XX_"];
	s13 -> s53 [label="8 / OXO___XOX"];
	s14 -> s14 [label="0 / OX__O__X_"];
	s14 -> s14 [label="1 / OX__O__X_"];
	s14 -> s0 [label="2 / OXX_O__XO"];
	s14 -> s0 [label="3 / OX_XO__XO"];
	s14 -> s14 [label="4 / OX__O__X_"];
	s14 -> s0 [label="5 / OX__OX_XO"];
	s14 -> s0 [label="6 / OX__O_XXO"];
	s14 -> s14 [label="7 / OX__O__X_"];
	s14 -> s54 [label="8 / OX__O_OXX"];
	s15 -> s15 [label="0 / OXO_____X"];
	s15 -> s15 [label="1 / OXO_____X"];
	s15 -> s15 [label="2 / OXO_____X"];
	s15 -> s42 [label="3 / OXOXO___X"];
	s15 -> s47 [label="4 / OXO_X__OX"];
	s15 -> s51 [label="5 / OXOO_X__X"];
	s15 -> s53 [label="6 / OXO___XOX"];
	s15 -> s55 [label="7 / OXO_O__XX"];
	s15 -> s15 [label="8 / OXO_____X"];
	s16 -> s16 [label="0 / OOXX_____"];
	s16 -> s16 [label="1 / OOXX_____"];
	s16 -> s16 [label="2 / OOXX_____"];
	s16 -> s16 [label="3 / OOXX_____"];
	s16 -> s56 [label="4 / OOXXXO___"];
	s16 -> s57 [label="5 / OOXXOX___"];
	s16 -> s58 [label="6 / OOXXO_X__"];
	s16 -> s59 [label="7 / OOXXO__X_"];
	s16 -> s60 [label="8 / OOXX_O__X"];
	s17 -> s17 [label="0 / O_X_X_O__"];
	s17 -> s0 [label="1 / OXXOX_O__"];
	s17 -> s17 [label="2 / O_X_X_O__"];
	s17 -> s61 [label="3 / O_XXXOO__"];
	s17 -> s17 [label="4 / O_X_X_O__"];
	s17 -> s0 [label="5 / O_XOXXO__"];
	s17 -> s17 [label="6 / O_X_X_O__"];
	s17 -> s0 [label="7 / O_XOX_OX_"];
	s17 -> s0 [label="8 / O_XOX_O_X"];
	s18 -> s18 [label="0 / O_X__X__O"];
	s18 -> s0 [label="1 / OXX_OX__O"];
	s18 -> s18 [label="2 / O_X__X__O"];
	s18 -> s0 [label="3 / O_XXOX__O"];
	s18 -> s62 [label="4 / O_XOXX__O"];
	s18 -> s18 [label="5 / O_X__X__O"];
	s18 -> s0 [label="6 / O_X_OXX_O"];
	s18 -> s0 [label="7 / O_X_OX_XO"];
	s18 -> s18 [label="8 / O_X__X__O"];
	s19 -> s19 [label="0 / O_X_O_X__"];
	s19 -> s0 [label="1 / OXX_O_X_O"];
	s19 -> s19 [label="2 / O_X_O_X__"];
	s19 -> s0 [label="3 / O_XXO_X_O"];
	s19 -> s19 [label="4 / O_X_O_X__"];
	s19 -> s0 [label="5 / O_X_OXX_O"];
	s19 -> s19 [label="6 / O_X_O_X__"];
	s19 -> s0 [label="7 / O_X_O_XXO"];
	s19 -> s63 [label="8 / O_X_OOX_X"];
	s20 -> s20 [label="0 / OOX____X_"];
	s20 -> s20 [label="1 / OOX____X_"];
	s20 -> s20 [label="2 / OOX____X_"];
	s20 -> s59 [label="3 / OOXXO__X_"];
	s20 -> s64 [label="4 / OOX_X_OX_"];
	s20 -> s65 [label="5 / OOX__X_XO"];
	s20 -> s66 [label="6 / OOX_O_XX_"];
	s20 -> s20 [label="7 / OOX____X_"];
	s20 -> s67 [label="8 / OOX__O_XX"];
	s21 -> s21 [label="0 / O_X__O__X"];
	s21 -> s68 [label="1 / OXXO_O__X"];
	s21 -> s21 [label="2 / O_X__O__X"];
	s21 -> s60 [label="3 / OOXX_O__X"];
	s21 -> s69 [label="4 / O_X_XOO_X"];
	s21 -> s21 [label="5 / O_X__O__X"];
	s21 -> s63 [label="6 / O_X_OOX_X"];
	s21 -> s70 [label="7 / O_X__OOXX"];
	s21 -> s21 [label="8 / O_X__O__X"];
	s22 -> s22 [label="0 / O__XXO___"];
	s22 -> s44 [label="1 / OX_XXO_O_"];
	s22 -> s61 [label="2 / O_XXXOO__"];
	s22 -> s22 [label="3 / O__XXO___"];
	s22 -> s22 [label="4 / O__XXO___"];
	s22 -> s22 [label="5 / O__XXO___"];
	s22 -> s71 [label="6 / O_OXXOX__"];
	s22 -> s72 [label="7 / OO_XXO_X_"];
	s22 -> s73 [label="8 / OO_XXO__X"];
	s23 -> s23 [label="0 / O__XOX___"];
	s23 -> s0 [label="1 / OX_XOX__O"];
	s23 -> s0 [label="2 / O_XXOX__O"];
	s23 -> s23 [label="3 / O__XOX___"];
	s23 -> s23 [label="4 / O__XOX___"];
	s23 -> s23 [label="5 / O__XOX___"];
	s23 -> s0 [label="6 / O__XOXX_O"];
	s23 -> s0 [label="7 / O__XOX_XO"];
	s23 -> s74 [label="8 / O_OXOX__X"];
	s24 -> s24 [label="0 / OO_X__X__"];
	s24 -> s24 [label="1 / OO_X__X__"];
	s24 -> s58 [label="2 / OOXXO_X__"];
	s24 -> s24 [label="3 / OO_X__X__"];
	s24 -> s0 [label="4 / OOOXX_X__"];
	s24 -> s0 [label="5 / OOOX_XX__"];
	s24 -> s24 [label="6 / OO_X__X__"];
	s24 -> s0 [label="7 / OOOX__XX_"];
	s24 -> s0 [label="8 / OOOX__X_X"];
	s25 -> s25 [label="0 / OO_X___X_"];
	s25 -> s25 [label="1 / OO_X___X_"];
	s25 -> s59 [label="2 / OOXXO__X_"];
	s25 -> s25 [label="3 / OO_X___X_"];
	s25 -> s0 [label="4 / OOOXX__X_"];
	s25 -> s0 [label="5 / OOOX_X_X_"];
	s25 -> s0 [label="6 / OOOX__XX_"];
	s25 -> s25 [label="7 / OO_X___X_"];
	s25 -> s0 [label="8 / OOOX___XX"];
	s26 -> s26 [label="0 / OO_X____X"];
	s26 -> s26 [label="1 / OO_X____X"];
	s26 -> s60 [label="2 / OOXX_O__X"];
	s26 -> s26 [label="3 / OO_X____X"];
	s26 -> s0 [label="4 / OOOXX___X"];
	s26 -> s0 [label="5 / OOOX_X__X"];
	s26 -> s0 [label="6 / OOOX__X_X"];
	s26 -> s0 [label="7 / OOOX___XX"];
	s26 -> s26 [label="8 / OO_X____X"];
	s27 -> s27 [label="0 / O__OXX___"];
	s27 -> s0 [label="1 / OX_OXXO__"];
	s27 -> s0 [label="2 / O_XOXXO__"];
	s27 -> s27 [label="3 / O__OXX___"];
	s27 -> s27 [label="4 / O__OXX___"];
	s27 -> s27 [label="5 / O__OXX___"];
	s27 -> s75 [label="6 / O_OOXXX__"];
	s27 -> s0 [label="7 / O__OXXOX_"];
	s27 -> s0 [label="8 / O__OXXO_X"];
	s28 -> s28 [label="0 / O_O_X_X__"];
	s28 -> s46 [label="1 / OXO_X_XO_"];
	s28 -> s28 [label="2 / O_O_X_X__"];
	s28 -> s0 [label="3 / OOOXX_X__"];
	s28 -> s28 [label="4 / O_O_X_X__"];
	s28 -> s0 [label="5 / OOO_XXX__"];
	s28 -> s28 [label="6 / O_O_X_X__"];
	s28 -> s0 [label="7 / OOO_X_XX_"];
	s28 -> s0 [label="8 / OOO_X_X_X"];
	s29 -> s29 [label="0 / OO__X__X_"];
	s29 -> s29 [label="1 / OO__X__X_"];
	s29 -> s64 [label="2 / OOX_X_OX_"];
	s29 -> s0 [label="3 / OOOXX__X_"];
	s29 -> s29 [label="4 / OO__X__X_"];
	s29 -> s0 [label="5 / OOO_XX_X_"];
	s29 -> s0 [label="6 / OOO_X_XX_"];
	s29 -> s29 [label="7 / OO__X__X_"];
	s29 -> s0 [label="8 / OOO_X__XX"];
	s30 -> s30 [label="0 / OO__X___X"];
	s30 -> s30 [label="1 / OO__X___X"];
	s30 -> s76 [label="2 / OOX_XO__X"];
	s30 -> s0 [label="3 / OOOXX___X"];
	s30 -> s30 [label="4 / OO__X___X"];
	s30 -> s0 [label="5 / OOO_XX__X"];
	s30 -> s0 [label="6 / OOO_X_X_X"];
	s30 -> s0 [label="7 / OOO_X__XX"];
	s30 -> s30 [label="8 / OO__X___X"];
	s31 -> s31 [label="0 / OO___XX__"];
	s31 -> s31 [label="1 / OO___XX__"];
	s31 -> s77 [label="2 / OOX_OXX__"];
	s31 -> s0 [label="3 / OOOX_XX__"];
	s31 -> s0 [label="4 / OOO_XXX__"];
	s31 -> s31 [label="5 / OO___XX__"];
	s31 -> s31 [label="6 / OO___XX__"];
	s31 -> s0 [label="7 / OOO__XXX_"];
	s31 -> s0 [label="8 / OOO__XX_X"];
	s32 -> s32 [label="0 / OO___X_X_"];
	s32 -> s32 [label="1 / OO___X_X_"];
	s32 -> s65 [label="2 / OOX__X_XO"];
	s32 -> s0 [label="3 / OOOX_X_X_"];
	s32 -> s0 [label="4 / OOO_XX_X_"];
	s32 -> s32 [label="5 / OO___X_X_"];
	s32 -> s0 [label="6 / OOO__XXX_"];
	s32 -> s32 [label="7 / OO___X_X_"];
	s32 -> s0 [label="8 / OOO__X_XX"];
	s33 -> s33 [label="0 / O_O__X__X"];
	s33 -> s51 [label="1 / OXOO_X__X"];
	s33 -> s33 [label="2 / O_O__X__X"];
	s33 -> s0 [label="3 / OOOX_X__X"];
	s33 -> s0 [label="4 / OOO_XX__X"];
	s33 -> s33 [label="5 / O_O__X__X"];
	s33 -> s0 [label="6 / OOO__XX_X"];
	s33 -> s0 [label="7 / OOO__X_XX"];
	s33 -> s33 [label="8 / O_O__X__X"];
	s34 -> s34 [label="0 / O_____XXO"];
	s34 -> s0 [label="1 / OX__O_XXO"];
	s34 -> s0 [label="2 / O_X_O_XXO"];
	s34 -> s0 [label="3 / O__XO_XXO"];
	s34 -> s78 [label="4 / OO__X_XXO"];
	s34 -> s0 [label="5 / O___OXXXO"];
	s34 -> s34 [label="6 / O_____XXO"];
	s34 -> s34 [label="7 / O_____XXO"];
	s34 -> s34 [label="8 / O_____XXO"];
	s35 -> s35 [label="0 / O_____XOX"];
	s35 -> s53 [label="1 / OXO___XOX"];
	s35 -> s79 [label="2 / O_X_O_XOX"];
	s35 -> s80 [label="3 / OO_X__XOX"];
	s35 -> s81 [label="4 / O_O_X_XOX"];
	s35 -> s82 [label="5 / O_O__XXOX"];
	s35 -> s35 [label="6 / O_____XOX"];
	s35 -> s35 [label="7 / O_____XOX"];
	s35 -> s35 [label="8 / O_____XOX"];
	s36 -> s36 [label="0 / O_____OXX"];
	s36 -> s0 [label="1 / OX_O__OXX"];
	s36 -> s0 [label="2 / O_XO__OXX"];
	s36 -> s83 [label="3 / OO_X__OXX"];
	s36 -> s0 [label="4 / O__OX_OXX"];
	s36 -> s0 [label="5 / O__O_XOXX"];
	s36 -> s36 [label="6 / O_____OXX"];
	s36 -> s36 [label="7 / O_____OXX"];
	s36 -> s36 [label="8 / O_____OXX"];
	s37 -> s37 [label="0 / OXXOO_X__"];
	s37 -> s37 [label="1 / OXXOO_X__"];
	s37 -> s37 [label="2 / OXXOO_X__"];
	s37 -> s37 [label="3 / OXXOO_X__"];
	s37 -> s37 [label="4 / OXXOO_X__"];
	s37 -> s0 [label="5 / OXXOOXX_O"];
	s37 -> s37 [label="6 / OXXOO_X__"];
	s37 -> s0 [label="7 / OXXOOOXX_"];
	s37 -> s0 [label="8 / OXXOOOX_X"];
	s38 -> s38 [label="0 / OXOXXO___"];
	s38 -> s38 [label="1 / OXOXXO___"];
	s38 -> s38 [label="2 / OXOXXO___"];
	s38 -> s38 [label="3 / OXOXXO___"];
	s38 -> s38 [label="4 / OXOXXO___"];
	s38 -> s38 [label="5 / OXOXXO___"];
	s38 -> s0 [label="6 / OXOXXOX_O"];
	s38 -> s0 [label="7 / OXOXXO_X_"];
	s38 -> s84 [label="8 / OXOXXO_OX"];
	s39 -> s39 [label="0 / OXOXOX___"];
	s39 -> s39 [label="1 / OXOXOX___"];
	s39 -> s39 [label="2 / OXOXOX___"];
	s39 -> s39 [label="3 / OXOXOX___"];
	s39 -> s39 [label="4 / OXOXOX___"];
	s39 -> s39 [label="5 / OXOXOX___"];
	s39 -> s0 [label="6 / OXOXOXX_O"];
	s39 -> s0 [label="7 / OXOXOXOX_"];
	s39 -> s0 [label="8 / OXOXOXO_X"];
	s40 -> s40 [label="0 / OXOXO_X__"];
	s40 -> s40 [label="1 / OXOXO_X__"];
	s40 -> s40 [label="2 / OXOXO_X__"];
	s40 -> s40 [label="3 / OXOXO_X__"];
	s40 -> s40 [label="4 / OXOXO_X__"];
	s40 -> s0 [label="5 / OXOXOXX_O"];
	s40 -> s40 [label="6 / OXOXO_X__"];
	s40 -> s0 [label="7 / OXOXO_XXO"];
	s40 -> s85 [label="8 / OXOXO_XOX"];
	s41 -> s41 [label="0 / OXOXO__X_"];
	s41 -> s41 [label="1 / OXOXO__X_"];
	s41 -> s41 [label="2 / OXOXO__X_"];
	s41 -> s41 [label="3 / OXOXO__X_"];
	s41 -> s41 [label="4 / OXOXO__X_"];
	s41 -> s0 [label="5 / OXOXOXOX_"];
	s41 -> s0 [label="6 / OXOXO_XXO"];
	s41 -> s41 [label="7 / OXOXO__X_"];
	s41 -> s0 [label="8 / OXOXO_OXX"];
	s42 -> s42 [label="0 / OXOXO___X"];
	s42 -> s42 [label="1 / OXOXO___X"];
	s42 -> s42 [label="2 / OXOXO___X"];
	s42 -> s42 [label="3 / OXOXO___X"];
	s42 -> s42 [label="4 / OXOXO___X"];
	s42 -> s0 [label="5 / OXOXOXO_X"];
	s42 -> s85 [label="6 / OXOXO_XOX"];
	s42 -> s0 [label="7 / OXOXO_OXX"];
	s42 -> s42 [label="8 / OXOXO___X"];
	s43 -> s43 [label="0 / OXX_X_OO_"];
	s43 -> s43 [label="1 / OXX_X_OO_"];
	s43 -> s43 [label="2 / OXX_X_OO_"];
	s43 -> s0 [label="3 / OXXXX_OOO"];
	s43 -> s43 [label="4 / OXX_X_OO_"];
	s43 -> s0 [label="5 / OXXOXXOO_"];
	s43 -> s43 [label="6 / OXX_X_OO_"];
	s43 -> s43 [label="7 / OXX_X_OO_"];
	s43 -> s0 [label="8 / OXXOX_OOX"];
	s44 -> s44 [label="0 / OX_XXO_O_"];
	s44 -> s44 [label="1 / OX_XXO_O_"];
	s44 -> s86 [label="2 / OXXXXOOO_"];
	s44 -> s44 [label="3 / OX_XXO_O_"];
	s44 -> s44 [label="4 / OX_XXO_O_"];
	s44 -> s44 [label="5 / OX_XXO_O_"];
	s44 -> s87 [label="6 / OXOXXOXO_"];
	s44 -> s44 [label="7 / OX_XXO_O_"];
	s44 -> s84 [label="8 / OXOXXO_OX"];
	s45 -> s45 [label="0 / OX_OXX_O_"];
	s45 -> s45 [label="1 / OX_OXX_O_"];
	s45 -> s0 [label="2 / OXXOXXOO_"];
	s45 -> s45 [label="3 / OX_OXX_O_"];
	s45 -> s45 [label="4 / OX_OXX_O_"];
	s45 -> s45 [label="5 / OX_OXX_O_"];
	s45 -> s88 [label="6 / OXOOXXXO_"];
	s45 -> s45 [label="7 / OX_OXX_O_"];
	s45 -> s0 [label="8 / OX_OXXOOX"];
	s46 -> s46 [label="0 / OXO_X_XO_"];
	s46 -> s46 [label="1 / OXO_X_XO_"];
	s46 -> s46 [label="2 / OXO_X_XO_"];
	s46 -> s87 [label="3 / OXOXXOXO_"];
	s46 -> s46 [label="4 / OXO_X_XO_"];
	s46 -> s88 [label="5 / OXOOXXXO_"];
	s46 -> s46 [label="6 / OXO_X_XO_"];
	s46 -> s46 [label="7 / OXO_X_XO_"];
	s46 -> s89 [label="8 / OXOOX_XOX"];
	s47 -> s47 [label="0 / OXO_X__OX"];
	s47 -> s47 [label="1 / OXO_X__OX"];
	s47 -> s47 [label="2 / OXO_X__OX"];
	s47 -> s84 [label="3 / OXOXXO_OX"];
	s47 -> s47 [label="4 / OXO_X__OX"];
	s47 -> s90 [label="5 / OXOOXX_OX"];
	s47 -> s89 [label="6 / OXOOX_XOX"];
	s47 -> s47 [label="7 / OXO_X__OX"];
	s47 -> s47 [label="8 / OXO_X__OX"];
	s48 -> s48 [label="0 / OXOOXX___"];
	s48 -> s48 [label="1 / OXOOXX___"];
	s48 -> s48 [label="2 / OXOOXX___"];
	s48 -> s48 [label="3 / OXOOXX___"];
	s48 -> s48 [label="4 / OXOOXX___"];
	s48 -> s48 [label="5 / OXOOXX___"];
	s48 -> s88 [label="6 / OXOOXXXO_"];
	s48 -> s0 [label="7 / OXOOXX_X_"];
	s48 -> s0 [label="8 / OXOOXXO_X"];
	s49 -> s49 [label="0 / OXOO_XX__"];
	s49 -> s49 [label="1 / OXOO_XX__"];
	s49 -> s49 [label="2 / OXOO_XX__"];
	s49 -> s49 [label="3 / OXOO_XX__"];
	s49 -> s88 [label="4 / OXOOXXXO_"];
	s49 -> s49 [label="5 / OXOO_XX__"];
	s49 -> s49 [label="6 / OXOO_XX__"];
	s49 -> s91 [label="7 / OXOOOXXX_"];
	s49 -> s92 [label="8 / OXOO_XXOX"];
	s50 -> s50 [label="0 / OXO_OX_X_"];
	s50 -> s50 [label="1 / OXO_OX_X_"];
	s50 -> s50 [label="2 / OXO_OX_X_"];
	s50 -> s0 [label="3 / OXOXOXOX_"];
	s50 -> s50 [label="4 / OXO_OX_X_"];
	s50 -> s50 [label="5 / OXO_OX_X_"];
	s50 -> s0 [label="6 / OXO_OXXXO"];
	s50 -> s50 [label="7 / OXO_OX_X_"];
	s50 -> s0 [label="8 / OXO_OXOXX"];
	s51 -> s51 [label="0 / OXOO_X__X"];
	s51 -> s51 [label="1 / OXOO_X__X"];
	s51 -> s51 [label="2 / OXOO_X__X"];
	s51 -> s51 [label="3 / OXOO_X__X"];
	s51 -> s0 [label="4 / OXOOXXO_X"];
	s51 -> s51 [label="5 / OXOO_X__X"];
	s51 -> s92 [label="6 / OXOO_XXOX"];
	s51 -> s0 [label="7 / OXOO_XOXX"];
	s51 -> s51 [label="8 / OXOO_X__X"];
	s52 -> s52 [label="0 / OXO_O_XX_"];
	s52 -> s52 [label="1 / OXO_O_XX_"];
	s52 -> s52 [label="2 / OXO_O_XX_"];
	s52 -> s0 [label="3 / OXOXO_XXO"];
	s52 -> s52 [label="4 / OXO_O_XX_"];
	s52 -> s0 [label="5 / OXO_OXXXO"];
	s52 -> s52 [label="6 / OXO_O_XX_"];
	s52 -> s52 [label="7 / OXO_O_XX_"];
	s52 -> s0 [label="8 / OXO_O_XXX"];
	s53 -> s53 [label="0 / OXO___XOX"];
	s53 -> s53 [label="1 / OXO___XOX"];
	s53 -> s53 [label="2 / OXO___XOX"];
	s53 -> s85 [label="3 / OXOXO_XOX"];
	s53 -> s89 [label="4 / OXOOX_XOX"];
	s53 -> s92 [label="5 / OXOO_XXOX"];
	s53 -> s53 [label="6 / OXO___XOX"];
	s53 -> s53 [label="7 / OXO___XOX"];
	s53 -> s53 [label="8 / OXO___XOX"];
	s54 -> s54 [label="0 / OX__O_OXX"];
	s54 -> s54 [label="1 / OX__O_OXX"];
	s54 -> s0 [label="2 / OXXOO_OXX"];
	s54 -> s0 [label="3 / OXOXO_OXX"];
	s54 -> s54 [label="4 / OX__O_OXX"];
	s54 -> s0 [label="5 / OXO_OXOXX"];
	s54 -> s54 [label="6 / OX__O_OXX"];
	s54 -> s54 [label="7 / OX__O_OXX"];
	s54 -> s54 [label="8 / OX__O_OXX"];
	s55 -> s55 [label="0 / OXO_O__XX"];
	s55 -> s55 [label="1 / OXO_O__XX"];
	s55 -> s55 [label="2 / OXO_O__XX"];
	s55 -> s0 [label="3 / OXOXO_OXX"];
	s55 -> s55 [label="4 / OXO_O__XX"];
	s55 -> s0 [label="5 / OXO_OXOXX"];
	s55 -> s0 [label="6 / OXO_O_XXX"];
	s55 -> s55 [label="7 / OXO_O__XX"];
	s55 -> s55 [label="8 / OXO_O__XX"];
	s56 -> s56 [label="0 / OOXXXO___"];
	s56 -> s56 [label="1 / OOXXXO___"];
	s56 -> s56 [label="2 / OOXXXO___"];
	s56 -> s56 [label="3 / OOXXXO___"];
	s56 -> s56 [label="4 / OOXXXO___"];
	s56 -> s56 [label="5 / OOXXXO___"];
	s56 -> s0 [label="6 / OOXXXOX__"];
	s56 -> s93 [label="7 / OOXXXOOX_"];
	s56 -> s94 [label="8 / OOXXXOO_X"];
	s57 -> s57 [label="0 / OOXXOX___"];
	s57 -> s57 [label="1 / OOXXOX___"];
	s57 -> s57 [label="2 / OOXXOX___"];
	s57 -> s57 [label="3 / OOXXOX___"];
	s57 -> s57 [label="4 / OOXXOX___"];
	s57 -> s57 [label="5 / OOXXOX___"];
	s57 -> s0 [label="6 / OOXXOXXO_"];
	s57 -> s0 [label="7 / OOXXOX_XO"];
	s57 -> s0 [label="8 / OOXXOX__X"];
	s58 -> s58 [label="0 / OOXXO_X__"];
	s58 -> s58 [label="1 / OOXXO_X__"];
	s58 -> s58 [label="2 / OOXXO_X__"];
	s58 -> s58 [label="3 / OOXXO_X__"];
	s58 -> s58 [label="4 / OOXXO_X__"];
	s58 -> s0 [label="5 / OOXXOXXO_"];
	s58 -> s58 [label="6 / OOXXO_X__"];
	s58 -> s0 [label="7 / OOXXO_XXO"];
	s58 -> s0 [label="8 / OOXXO_XOX"];
	s59 -> s59 [label="0 / OOXXO__X_"];
	s59 -> s59 [label="1 / OOXXO__X_"];
	s59 -> s59 [label="2 / OOXXO__X_"];
	s59 -> s59 [label="3 / OOXXO__X_"];
	s59 -> s59 [label="4 / OOXXO__X_"];
	s59 -> s0 [label="5 / OOXXOX_XO"];
	s59 -> s0 [label="6 / OOXXO_XXO"];
	s59 -> s59 [label="7 / OOXXO__X_"];
	s59 -> s95 [label="8 / OOXXOO_XX"];
	s60 -> s60 [label="0 / OOXX_O__X"];
	s60 -> s60 [label="1 / OOXX_O__X"];
	s60 -> s60 [label="2 / OOXX_O__X"];
	s60 -> s60 [label="3 / OOXX_O__X"];
	s60 -> s94 [label="4 / OOXXXOO_X"];
	s60 -> s60 [label="5 / OOXX_O__X"];
	s60 -> s96 [label="6 / OOXXOOX_X"];
	s60 -> s97 [label="7 / OOXX_OOXX"];
	s60 -> s60 [label="8 / OOXX_O__X"];
	s61 -> s61 [label="0 / O_XXXOO__"];
	s61 -> s86 [label="1 / OXXXXOOO_"];
	s61 -> s61 [label="2 / O_XXXOO__"];
	s61 -> s61 [label="3 / O_XXXOO__"];
	s61 -> s61 [label="4 / O_XXXOO__"];
	s61 -> s61 [label="5 / O_XXXOO__"];
	s61 -> s61 [label="6 / O_XXXOO__"];
	s61 -> s93 [label="7 / OOXXXOOX_"];
	s61 -> s94 [label="8 / OOXXXOO_X"];
	s62 -> s62 [label="0 / O_XOXX__O"];
	s62 -> s0 [label="1 / OXXOXXO_O"];
	s62 -> s62 [label="2 / O_XOXX__O"];
	s62 -> s62 [label="3 / O_XOXX__O"];
	s62 -> s62 [label="4 / O_XOXX__O"];
	s62 -> s62 [label="5 / O_XOXX__O"];
	s62 -> s0 [label="6 / O_XOXXX_O"];
	s62 -> s0 [label="7 / O_XOXXOXO"];
	s62 -> s62 [label="8 / O_XOXX__O"];
	s63 -> s63 [label="0 / O_X_OOX_X"];
	s63 -> s0 [label="1 / OXXOOOX_X"];
	s63 -> s63 [label="2 / O_X_OOX_X"];
	s63 -> s98 [label="3 / O_XXOOXOX"];
	s63 -> s63 [label="4 / O_X_OOX_X"];
	s63 -> s63 [label="5 / O_X_OOX_X"];
	s63 -> s63 [label="6 / O_X_OOX_X"];
	s63 -> s0 [label="7 / O_X_OOXXX"];
	s63 -> s63 [label="8 / O_X_OOX_X"];
	s64 -> s64 [label="0 / OOX_X_OX_"];
	s64 -> s64 [label="1 / OOX_X_OX_"];
	s64 -> s64 [label="2 / OOX_X_OX_"];
	s64 -> s93 [label="3 / OOXXXOOX_"];
	s64 -> s64 [label="4 / OOX_X_OX_"];
	s64 -> s0 [label="5 / OOXOXXOX_"];
	s64 -> s64 [label="6 / OOX_X_OX_"];
	s64 -> s64 [label="7 / OOX_X_OX_"];
	s64 -> s0 [label="8 / OOXOX_OXX"];
	s65 -> s65 [label="0 / OOX__X_XO"];
	s65 -> s65 [label="1 / OOX__X_XO"];
	s65 -> s65 [label="2 / OOX__X_XO"];
	s65 -> s0 [label="3 / OOXXOX_XO"];
	s65 -> s99 [label="4 / OOXOXX_XO"];
	s65 -> s65 [label="5 / OOX__X_XO"];
	s65 -> s0 [label="6 / OOX_OXXXO"];
	s65 -> s65 [label="7 / OOX__X_XO"];
	s65 -> s65 [label="8 / OOX__X_XO"];
	s66 -> s66 [label="0 / OOX_O_XX_"];
	s66 -> s66 [label="1 / OOX_O_XX_"];
	s66 -> s66 [label="2 / OOX_O_XX_"];
	s66 -> s0 [label="3 / OOXXO_XXO"];
	s66 -> s66 [label="4 / OOX_O_XX_"];
	s66 -> s0 [label="5 / OOX_OXXXO"];
	s66 -> s66 [label="6 / OOX_O_XX_"];
	s66 -> s66 [label="7 / OOX_O_XX_"];
	s66 -> s0 [label="8 / OOX_O_XXX"];
	s67 -> s67 [label="0 / OOX__O_XX"];
	s67 -> s67 [label="1 / OOX__O_XX"];
	s67 -> s67 [label="2 / OOX__O_XX"];
	s67 -> s97 [label="3 / OOXX_OOXX"];
	s67 -> s100 [label="4 / OOX_XOOXX"];
	s67 -> s67 [label="5 / OOX__O_XX"];
	s67 -> s0 [label="6 / OOX__OXXX"];
	s67 -> s67 [label="7 / OOX__O_XX"];
	s67 -> s67 [label="8 / OOX__O_XX"];
	s68 -> s68 [label="0 / OXXO_O__X"];
	s68 -> s68 [label="1 / OXXO_O__X"];
	s68 -> s68 [label="2 / OXXO_O__X"];
	s68 -> s68 [label="3 / OXXO_O__X"];
	s68 -> s0 [label="4 / OXXOXOO_X"];
	s68 -> s68 [label="5 / OXXO_O__X"];
	s68 -> s0 [label="6 / OXXOOOX_X"];
	s68 -> s0 [label="7 / OXXOOO_XX"];
	s68 -> s68 [label="8 / OXXO_O__X"];
	s69 -> s69 [label="0 / O_X_XOO_X"];
	s69 -> s0 [label="1 / OXXOXOO_X"];
	s69 -> s69 [label="2 / O_X_XOO_X"];
	s69 -> s94 [label="3 / OOXXXOO_X"];
	s69 -> s69 [label="4 / O_X_XOO_X"];
	s69 -> s69 [label="5 / O_X_XOO_X"];
	s69 -> s69 [label="6 / O_X_XOO_X"];
	s69 -> s0 [label="7 / O_XOXOOXX"];
	s69 -> s69 [label="8 / O_X_XOO_X"];
	s70 -> s70 [label="0 / O_X__OOXX"];
	s70 -> s0 [label="1 / OXXO_OOXX"];
	s70 -> s70 [label="2 / O_X__OOXX"];
	s70 -> s97 [label="3 / OOXX_OOXX"];
	s70 -> s0 [label="4 / O_XOXOOXX"];
	s70 -> s70 [label="5 / O_X__OOXX"];
	s70 -> s70 [label="6 / O_X__OOXX"];
	s70 -> s70 [label="7 / O_X__OOXX"];
	s70 -> s70 [label="8 / O_X__OOXX"];
	s71 -> s71 [label="0 / O_OXXOX__"];
	s71 -> s0 [label="1 / OXOXXOX_O"];
	s71 -> s71 [label="2 / O_OXXOX__"];
	s71 -> s71 [label="3 / O_OXXOX__"];
	s71 -> s71 [label="4 / O_OXXOX__"];
	s71 -> s71 [label="5 / O_OXXOX__"];
	s71 -> s71 [label="6 / O_OXXOX__"];
	s71 -> s0 [label="7 / OOOXXOXX_"];
	s71 -> s0 [label="8 / OOOXXOX_X"];
	s72 -> s72 [label="0 / OO_XXO_X_"];
	s72 -> s72 [label="1 / OO_XXO_X_"];
	s72 -> s93 [label="2 / OOXXXOOX_"];
	s72 -> s72 [label="3 / OO_XXO_X_"];
	s72 -> s72 [label="4 / OO_XXO_X_"];
	s72 -> s72 [label="5 / OO_XXO_X_"];
	s72 -> s0 [label="6 / OOOXXOXX_"];
	s72 -> s72 [label="7 / OO_XXO_X_"];
	s72 -> s0 [label="8 / OOOXXO_XX"];
	s73 -> s73 [label="0 / OO_XXO__X"];
	s73 -> s73 [label="1 / OO_XXO__X"];
	s73 -> s94 [label="2 / OOXXXOO_X"];
	s73 -> s73 [label="3 / OO_XXO__X"];
	s73 -> s73 [label="4 / OO_XXO__X"];
	s73 -> s73 [label="5 / OO_XXO__X"];
	s73 -> s0 [label="6 / OOOXXOX_X"];
	s73 -> s0 [label="7 / OOOXXO_XX"];
	s73 -> s73 [label="8 / OO_XXO__X"];
	s74 -> s74 [label="0 / O_OXOX__X"];
	s74 -> s0 [label="1 / OXOXOXO_X"];
	s74 -> s74 [label="2 / O_OXOX__X"];
	s74 -> s74 [label="3 / O_OXOX__X"];
	s74 -> s74 [label="4 / O_OXOX__X"];
	s74 -> s74 [label="5 / O_OXOX__X"];
	s74 -> s0 [label="6 / OOOXOXX_X"];
	s74 -> s0 [label="7 / OOOXOX_XX"];
	s74 -> s74 [label="8 / O_OXOX__X"];
	s75 -> s75 [label="0 / O_OOXXX__"];
	s75 -> s88 [label="1 / OXOOXXXO_"];
	s75 -> s75 [label="2 / O_OOXXX__"];
	s75 -> s75 [label="3 / O_OOXXX__"];
	s75 -> s75 [label="4 / O_OOXXX__"];
	s75 -> s75 [label="5 / O_OOXXX__"];
	s75 -> s75 [label="6 / O_OOXXX__"];
	s75 -> s0 [label="7 / OOOOXXXX_"];
	s75 -> s0 [label="8 / OOOOXXX_X"];
	s76 -> s76 [label="0 / OOX_XO__X"];
	s76 -> s76 [label="1 / OOX_XO__X"];
	s76 -> s76 [label="2 / OOX_XO__X"];
	s76 -> s94 [label="3 / OOXXXOO_X"];
	s76 -> s76 [label="4 / OOX_XO__X"];
	s76 -> s76 [label="5 / OOX_XO__X"];
	s76 -> s0 [label="6 / OOX_XOX_X"];
	s76 -> s100 [label="7 / OOX_XOOXX"];
	s76 -> s76 [label="8 / OOX_XO__X"];
	s77 -> s77 [label="0 / OOX_OXX__"];
	s77 -> s77 [label="1 / OOX_OXX__"];
	s77 -> s77 [label="2 / OOX_OXX__"];
	s77 -> s0 [label="3 / OOXXOXXO_"];
	s77 -> s77 [label="4 / OOX_OXX__"];
	s77 -> s77 [label="5 / OOX_OXX__"];
	s77 -> s77 [label="6 / OOX_OXX__"];
	s77 -> s0 [label="7 / OOX_OXXXO"];
	s77 -> s0 [label="8 / OOX_OXX_X"];
	s78 -> s78 [label="0 / OO__X_XXO"];
	s78 -> s78 [label="1 / OO__X_XXO"];
	s78 -> s0 [label="2 / OOX_X_XXO"];
	s78 -> s0 [label="3 / OOOXX_XXO"];
	s78 -> s78 [label="4 / OO__X_XXO"];
	s78 -> s0 [label="5 / OOO_XXXXO"];
	s78 -> s78 [label="6 / OO__X_XXO"];
	s78 -> s78 [label="7 / OO__X_XXO"];
	s78 -> s78 [label="8 / OO__X_XXO"];
	s79 -> s79 [label="0 / O_X_O_XOX"];
	s79 -> s101 [label="1 / OXX_OOXOX"];
	s79 -> s79 [label="2 / O_X_O_XOX"];
	s79 -> s0 [label="3 / OOXXO_XOX"];
	s79 -> s79 [label="4 / O_X_O_XOX"];
	s79 -> s0 [label="5 / O_X_OXXOX"];
	s79 -> s79 [label="6 / O_X_O_XOX"];
	s79 -> s79 [label="7 / O_X_O_XOX"];
	s79 -> s79 [label="8 / O_X_O_XOX"];
	s80 -> s80 [label="0 / OO_X__XOX"];
	s80 -> s80 [label="1 / OO_X__XOX"];
	s80 -> s0 [label="2 / OOXXO_XOX"];
	s80 -> s80 [label="3 / OO_X__XOX"];
	s80 -> s0 [label="4 / OOOXX_XOX"];
	s80 -> s0 [label="5 / OOOX_XXOX"];
	s80 -> s80 [label="6 / OO_X__XOX"];
	s80 -> s80 [label="7 / OO_X__XOX"];
	s80 -> s80 [label="8 / OO_X__XOX"];
	s81 -> s81 [label="0 / O_O_X_XOX"];
	s81 -> s89 [label="1 / OXOOX_XOX"];
	s81 -> s81 [label="2 / O_O_X_XOX"];
	s81 -> s0 [label="3 / OOOXX_XOX"];
	s81 -> s81 [label="4 / O_O_X_XOX"];
	s81 -> s0 [label="5 / OOO_XXXOX"];
	s81 -> s81 [label="6 / O_O_X_XOX"];
	s81 -> s81 [label="7 / O_O_X_XOX"];
	s81 -> s81 [label="8 / O_O_X_XOX"];
	s82 -> s82 [label="0 / O_O__XXOX"];
	s82 -> s92 [label="1 / OXOO_XXOX"];
	s82 -> s82 [label="2 / O_O__XXOX"];
	s82 -> s0 [label="3 / OOOX_XXOX"];
	s82 -> s0 [label="4 / OOO_XXXOX"];
	s82 -> s82 [label="5 / O_O__XXOX"];
	s82 -> s82 [label="6 / O_O__XXOX"];
	s82 -> s82 [label="7 / O_O__XXOX"];
	s82 -> s82 [label="8 / O_O__XXOX"];
	s83 -> s83 [label="0 / OO_X__OXX"];
	s83 -> s83 [label="1 / OO_X__OXX"];
	s83 -> s97 [label="2 / OOXX_OOXX"];
	s83 -> s83 [label="3 / OO_X__OXX"];
	s83 -> s0 [label="4 / OOOXX_OXX"];
	s83 -> s0 [label="5 / OOOX_XOXX"];
	s83 -> s83 [label="6 / OO_X__OXX"];
	s83 -> s83 [label="7 / OO_X__OXX"];
	s83 -> s83 [label="8 / OO_X__OXX"];
	s84 -> s84 [label="0 / OXOXXO_OX"];
	s84 -> s84 [label="1 / OXOXXO_OX"];
	s84 -> s84 [label="2 / OXOXXO_OX"];
	s84 -> s84 [label="3 / OXOXXO_OX"];
	s84 -> s84 [label="4 / OXOXXO_OX"];
	s84 -> s84 [label="5 / OXOXXO_OX"];
	s84 -> s0 [label="6 / OXOXXOXOX"];
	s84 -> s84 [label="7 / OXOXXO_OX"];
	s84 -> s84 [label="8 / OXOXXO_OX"];
	s85 -> s85 [label="0 / OXOXO_XOX"];
	s85 -> s85 [label="1 / OXOXO_XOX"];
	s85 -> s85 [label="2 / OXOXO_XOX"];
	s85 -> s85 [label="3 / OXOXO_XOX"];
	s85 -> s85 [label="4 / OXOXO_XOX"];
	s85 -> s0 [label="5 / OXOXOXXOX"];
	s85 -> s85 [label="6 / OXOXO_XOX"];
	s85 -> s85 [label="7 / OXOXO_XOX"];
	s85 -> s85 [label="8 / OXOXO_XOX"];
	s86 -> s86 [label="0 / OXXXXOOO_"];
	s86 -> s86 [label="1 / OXXXXOOO_"];
	s86 -> s86 [label="2 / OXXXXOOO_"];
	s86 -> s86 [label="3 / OXXXXOOO_"];
	s86 -> s86 [label="4 / OXXXXOOO_"];
	s86 -> s86 [label="5 / OXXXXOOO_"];
	s86 -> s86 [label="6 / OXXXXOOO_"];
	s86 -> s86 [label="7 / OXXXXOOO_"];
	s86 -> s0 [label="8 / OXXXXOOOX"];
	s87 -> s87 [label="0 / OXOXXOXO_"];
	s87 -> s87 [label="1 / OXOXXOXO_"];
	s87 -> s87 [label="2 / OXOXXOXO_"];
	s87 -> s87 [label="3 / OXOXXOXO_"];
	s87 -> s87 [label="4 / OXOXXOXO_"];
	s87 -> s87 [label="5 / OXOXXOXO_"];
	s87 -> s87 [label="6 / OXOXXOXO_"];
	s87 -> s87 [label="7 / OXOXXOXO_"];
	s87 -> s0 [label="8 / OXOXXOXOX"];
	s88 -> s88 [label="0 / OXOOXXXO_"];
	s88 -> s88 [label="1 / OXOOXXXO_"];
	s88 -> s88 [label="2 / OXOOXXXO_"];
	s88 -> s88 [label="3 / OXOOXXXO_"];
	s88 -> s88 [label="4 / OXOOXXXO_"];
	s88 -> s88 [label="5 / OXOOXXXO_"];
	s88 -> s88 [label="6 / OXOOXXXO_"];
	s88 -> s88 [label="7 / OXOOXXXO_"];
	s88 -> s0 [label="8 / OXOOXXXOX"];
	s89 -> s89 [label="0 / OXOOX_XOX"];
	s89 -> s89 [label="1 / OXOOX_XOX"];
	s89 -> s89 [label="2 / OXOOX_XOX"];
	s89 -> s89 [label="3 / OXOOX_XOX"];
	s89 -> s89 [label="4 / OXOOX_XOX"];
	s89 -> s0 [label="5 / OXOOXXXOX"];
	s89 -> s89 [label="6 / OXOOX_XOX"];
	s89 -> s89 [label="7 / OXOOX_XOX"];
	s89 -> s89 [label="8 / OXOOX_XOX"];
	s90 -> s90 [label="0 / OXOOXX_OX"];
	s90 -> s90 [label="1 / OXOOXX_OX"];
	s90 -> s90 [label="2 / OXOOXX_OX"];
	s90 -> s90 [label="3 / OXOOXX_OX"];
	s90 -> s90 [label="4 / OXOOXX_OX"];
	s90 -> s90 [label="5 / OXOOXX_OX"];
	s90 -> s0 [label="6 / OXOOXXXOX"];
	s90 -> s90 [label="7 / OXOOXX_OX"];
	s90 -> s90 [label="8 / OXOOXX_OX"];
	s91 -> s91 [label="0 / OXOOOXXX_"];
	s91 -> s91 [label="1 / OXOOOXXX_"];
	s91 -> s91 [label="2 / OXOOOXXX_"];
	s91 -> s91 [label="3 / OXOOOXXX_"];
	s91 -> s91 [label="4 / OXOOOXXX_"];
	s91 -> s91 [label="5 / OXOOOXXX_"];
	s91 -> s91 [label="6 / OXOOOXXX_"];
	s91 -> s91 [label="7 / OXOOOXXX_"];
	s91 -> s0 [label="8 / OXOOOXXXX"];
	s92 -> s92 [label="0 / OXOO_XXOX"];
	s92 -> s92 [label="1 / OXOO_XXOX"];
	s92 -> s92 [label="2 / OXOO_XXOX"];
	s92 -> s92 [label="3 / OXOO_XXOX"];
	s92 -> s0 [label="4 / OXOOXXXOX"];
	s92 -> s92 [label="5 / OXOO_XXOX"];
	s92 -> s92 [label="6 / OXOO_XXOX"];
	s92 -> s92 [label="7 / OXOO_XXOX"];
	s92 -> s92 [label="8 / OXOO_XXOX"];
	s93 -> s93 [label="0 / OOXXXOOX_"];
	s93 -> s93 [label="1 / OOXXXOOX_"];
	s93 -> s93 [label="2 / OOXXXOOX_"];
	s93 -> s93 [label="3 / OOXXXOOX_"];
	s93 -> s93 [label="4 / OOXXXOOX_"];
	s93 -> s93 [label="5 / OOXXXOOX_"];
	s93 -> s93 [label="6 / OOXXXOOX_"];
	s93 -> s93 [label="7 / OOXXXOOX_"];
	s93 -> s0 [label="8 / OOXXXOOXX"];
	s94 -> s94 [label="0 / OOXXXOO_X"];
	s94 -> s94 [label="1 / OOXXXOO_X"];
	s94 -> s94 [label="2 / OOXXXOO_X"];
	s94 -> s94 [label="3 / OOXXXOO_X"];
	s94 -> s94 [label="4 / OOXXXOO_X"];
	s94 -> s94 [label="5 / OOXXXOO_X"];
	s94 -> s94 [label="6 / OOXXXOO_X"];
	s94 -> s0 [label="7 / OOXXXOOXX"];
	s94 -> s94 [label="8 / OOXXXOO_X"];
	s95 -> s95 [label="0 / OOXXOO_XX"];
	s95 -> s95 [label="1 / OOXXOO_XX"];
	s95 -> s95 [label="2 / OOXXOO_XX"];
	s95 -> s95 [label="3 / OOXXOO_XX"];
	s95 -> s95 [label="4 / OOXXOO_XX"];
	s95 -> s95 [label="5 / OOXXOO_XX"];
	s95 -> s0 [label="6 / OOXXOOXXX"];
	s95 -> s95 [label="7 / OOXXOO_XX"];
	s95 -> s95 [label="8 / OOXXOO_XX"];
	s96 -> s96 [label="0 / OOXXOOX_X"];
	s96 -> s96 [label="1 / OOXXOOX_X"];
	s96 -> s96 [label="2 / OOXXOOX_X"];
	s96 -> s96 [label="3 / OOXXOOX_X"];
	s96 -> s96 [label="4 / OOXXOOX_X"];
	s96 -> s96 [label="5 / OOXXOOX_X"];
	s96 -> s96 [label="6 / OOXXOOX_X"];
	s96 -> s0 [label="7 / OOXXOOXXX"];
	s96 -> s96 [label="8 / OOXXOOX_X"];
	s97 -> s97 [label="0 / OOXX_OOXX"];
	s97 -> s97 [label="1 / OOXX_OOXX"];
	s97 -> s97 [label="2 / OOXX_OOXX"];
	s97 -> s97 [label="3 / OOXX_OOXX"];
	s97 -> s0 [label="4 / OOXXXOOXX"];
	s97 -> s97 [label="5 / OOXX_OOXX"];
	s97 -> s97 [label="6 / OOXX_OOXX"];
	s97 -> s97 [label="7 / OOXX_OOXX"];
	s97 -> s97 [label="8 / OOXX_OOXX"];
	s98 -> s98 [label="0 / O_XXOOXOX"];
	s98 -> s0 [label="1 / OXXXOOXOX"];
	s98 -> s98 [label="2 / O_XXOOXOX"];
	s98 -> s98 [label="3 / O_XXOOXOX"];
	s98 -> s98 [label="4 / O_XXOOXOX"];
	s98 -> s98 [label="5 / O_XXOOXOX"];
	s98 -> s98 [label="6 / O_XXOOXOX"];
	s98 -> s98 [label="7 / O_XXOOXOX"];
	s98 -> s98 [label="8 / O_XXOOXOX"];
	s99 -> s99 [label="0 / OOXOXX_XO"];
	s99 -> s99 [label="1 / OOXOXX_XO"];
	s99 -> s99 [label="2 / OOXOXX_XO"];
	s99 -> s99 [label="3 / OOXOXX_XO"];
	s99 -> s99 [label="4 / OOXOXX_XO"];
	s99 -> s99 [label="5 / OOXOXX_XO"];
	s99 -> s0 [label="6 / OOXOXXXXO"];
	s99 -> s99 [label="7 / OOXOXX_XO"];
	s99 -> s99 [label="8 / OOXOXX_XO"];
	s100 -> s100 [label="0 / OOX_XOOXX"];
	s100 -> s100 [label="1 / OOX_XOOXX"];
	s100 -> s100 [label="2 / OOX_XOOXX"];
	s100 -> s0 [label="3 / OOXXXOOXX"];
	s100 -> s100 [label="4 / OOX_XOOXX"];
	s100 -> s100 [label="5 / OOX_XOOXX"];
	s100 -> s100 [label="6 / OOX_XOOXX"];
	s100 -> s100 [label="7 / OOX_XOOXX"];
	s100 -> s100 [label="8 / OOX_XOOXX"];
	s101 -> s101 [label="0 / OXX_OOXOX"];
	s101 -> s101 [label="1 / OXX_OOXOX"];
	s101 -> s101 [label="2 / OXX_OOXOX"];
	s101 -> s0 [label="3 / OXXXOOXOX"];
	s101 -> s101 [label="4 / OXX_OOXOX"];
	s101 -> s101 [label="5 / OXX_OOXOX"];
	s101 -> s101 [label="6 / OXX_OOXOX"];
	s101 -> s101 [label="7 / OXX_OOXOX"];
	s101 -> s101 [label="8 / OXX_OOXOX"];
	s102 -> s102 [label="0 / XO_______"];
	s102 -> s102 [label="1 / XO_______"];
	s102 -> s103 [label="2 / XOXO_____"];
	s102 -> s104 [label="3 / XO_X__O__"];
	s102 -> s105 [label="4 / XO__X___O"];
	s102 -> s106 [label="5 / XOO__X___"];
	s102 -> s107 [label="6 / XO_O__X__"];
	s102 -> s108 [label="7 / XOO____X_"];
	s102 -> s109 [label="8 / XO__O___X"];
	s103 -> s103 [label="0 / XOXO_____"];
	s103 -> s103 [label="1 / XOXO_____"];
	s103 -> s103 [label="2 / XOXO_____"];
	s103 -> s103 [label="3 / XOXO_____"];
	s103 -> s110 [label="4 / XOXOX_O__"];
	s103 -> s111 [label="5 / XOXO_X__O"];
	s103 -> s112 [label="6 / XOXOO_X__"];
	s103 -> s113 [label="7 / XOXOO__X_"];
	s103 -> s114 [label="8 / XOXOO___X"];
	s104 -> s104 [label="0 / XO_X__O__"];
	s104 -> s104 [label="1 / XO_X__O__"];
	s104 -> s115 [label="2 / XOXXO_O__"];
	s104 -> s104 [label="3 / XO_X__O__"];
	s104 -> s116 [label="4 / XO_XXOO__"];
	s104 -> s117 [label="5 / XO_XOXO__"];
	s104 -> s104 [label="6 / XO_X__O__"];
	s104 -> s118 [label="7 / XOOX__OX_"];
	s104 -> s119 [label="8 / XO_XO_O_X"];
	s105 -> s105 [label="0 / XO__X___O"];
	s105 -> s105 [label="1 / XO__X___O"];
	s105 -> s120 [label="2 / XOX_X_O_O"];
	s105 -> s121 [label="3 / XO_XXO__O"];
	s105 -> s105 [label="4 / XO__X___O"];
	s105 -> s122 [label="5 / XO_OXX__O"];
	s105 -> s123 [label="6 / XOO_X_X_O"];
	s105 -> s124 [label="7 / XOO_X__XO"];
	s105 -> s105 [label="8 / XO__X___O"];
	s106 -> s106 [label="0 / XOO__X___"];
	s106 -> s106 [label="1 / XOO__X___"];
	s106 -> s106 [label="2 / XOO__X___"];
	s106 -> s125 [label="3 / XOOXOX___"];
	s106 -> s126 [label="4 / XOOOXX___"];
	s106 -> s106 [label="5 / XOO__X___"];
	s106 -> s127 [label="6 / XOOO_XX__"];
	s106 -> s128 [label="7 / XOOO_X_X_"];
	s106 -> s129 [label="8 / XOO_OX__X"];
	s107 -> s107 [label="0 / XO_O__X__"];
	s107 -> s107 [label="1 / XO_O__X__"];
	s107 -> s112 [label="2 / XOXOO_X__"];
	s107 -> s107 [label="3 / XO_O__X__"];
	s107 -> s130 [label="4 / XOOOX_X__"];
	s107 -> s127 [label="5 / XOOO_XX__"];
	s107 -> s107 [label="6 / XO_O__X__"];
	s107 -> s131 [label="7 / XO_O__XXO"];
	s107 -> s132 [label="8 / XO_OO_X_X"];
	s108 -> s108 [label="0 / XOO____X_"];
	s108 -> s108 [label="1 / XOO____X_"];
	s108 -> s108 [label="2 / XOO____X_"];
	s108 -> s118 [label="3 / XOOX__OX_"];
	s108 -> s124 [label="4 / XOO_X__XO"];
	s108 -> s128 [label="5 / XOOO_X_X_"];
	s108 -> s133 [label="6 / XOOO__XX_"];
	s108 -> s108 [label="7 / XOO____X_"];
	s108 -> s134 [label="8 / XOO_O__XX"];
	s109 -> s109 [label="0 / XO__O___X"];
	s109 -> s109 [label="1 / XO__O___X"];
	s109 -> s0 [label="2 / XOX_O__OX"];
	s109 -> s0 [label="3 / XO_XO__OX"];
	s109 -> s109 [label="4 / XO__O___X"];
	s109 -> s0 [label="5 / XO__OX_OX"];
	s109 -> s0 [label="6 / XO__O_XOX"];
	s109 -> s135 [label="7 / XO__O_OXX"];
	s109 -> s109 [label="8 / XO__O___X"];
	s110 -> s110 [label="0 / XOXOX_O__"];
	s110 -> s110 [label="1 / XOXOX_O__"];
	s110 -> s110 [label="2 / XOXOX_O__"];
	s110 -> s110 [label="3 / XOXOX_O__"];
	s110 -> s110 [label="4 / XOXOX_O__"];
	s110 -> s136 [label="5 / XOXOXXO_O"];
	s110 -> s110 [label="6 / XOXOX_O__"];
	s110 -> s137 [label="7 / XOXOX_OXO"];
	s110 -> s0 [label="8 / XOXOX_O_X"];
	s111 -> s111 [label="0 / XOXO_X__O"];
	s111 -> s111 [label="1 / XOXO_X__O"];
	s111 -> s111 [label="2 / XOXO_X__O"];
	s111 -> s111 [label="3 / XOXO_X__O"];
	s111 -> s136 [label="4 / XOXOXXO_O"];
	s111 -> s111 [label="5 / XOXO_X__O"];
	s111 -> s138 [label="6 / XOXOOXX_O"];
	s111 -> s139 [label="7 / XOXOOX_XO"];
	s111 -> s111 [label="8 / XOXO_X__O"];
	s112 -> s112 [label="0 / XOXOO_X__"];
	s112 -> s112 [label="1 / XOXOO_X__"];
	s112 -> s112 [label="2 / XOXOO_X__"];
	s112 -> s112 [label="3 / XOXOO_X__"];
	s112 -> s112 [label="4 / XOXOO_X__"];
	s112 -> s0 [label="5 / XOXOOXXO_"];
	s112 -> s112 [label="6 / XOXOO_X__"];
	s112 -> s0 [label="7 / XOXOOOXX_"];
	s112 -> s0 [label="8 / XOXOOOX_X"];
	s113 -> s113 [label="0 / XOXOO__X_"];
	s113 -> s113 [label="1 / XOXOO__X_"];
	s113 -> s113 [label="2 / XOXOO__X_"];
	s113 -> s113 [label="3 / XOXOO__X_"];
	s113 -> s113 [label="4 / XOXOO__X_"];
	s113 -> s139 [label="5 / XOXOOX_XO"];
	s113 -> s0 [label="6 / XOXOOOXX_"];
	s113 -> s113 [label="7 / XOXOO__X_"];
	s113 -> s0 [label="8 / XOXOOO_XX"];
	s114 -> s114 [label="0 / XOXOO___X"];
	s114 -> s114 [label="1 / XOXOO___X"];
	s114 -> s114 [label="2 / XOXOO___X"];
	s114 -> s114 [label="3 / XOXOO___X"];
	s114 -> s114 [label="4 / XOXOO___X"];
	s114 -> s0 [label="5 / XOXOOX__X"];
	s114 -> s0 [label="6 / XOXOOOX_X"];
	s114 -> s0 [label="7 / XOXOOO_XX"];
	s114 -> s114 [label="8 / XOXOO___X"];
	s115 -> s115 [label="0 / XOXXO_O__"];
	s115 -> s115 [label="1 / XOXXO_O__"];
	s115 -> s115 [label="2 / XOXXO_O__"];
	s115 -> s115 [label="3 / XOXXO_O__"];
	s115 -> s115 [label="4 / XOXXO_O__"];
	s115 -> s0 [label="5 / XOXXOXOO_"];
	s115 -> s115 [label="6 / XOXXO_O__"];
	s115 -> s140 [label="7 / XOXXOOOX_"];
	s115 -> s0 [label="8 / XOXXO_OOX"];
	s116 -> s116 [label="0 / XO_XXOO__"];
	s116 -> s116 [label="1 / XO_XXOO__"];
	s116 -> s141 [label="2 / XOXXXOO_O"];
	s116 -> s116 [label="3 / XO_XXOO__"];
	s116 -> s116 [label="4 / XO_XXOO__"];
	s116 -> s116 [label="5 / XO_XXOO__"];
	s116 -> s116 [label="6 / XO_XXOO__"];
	s116 -> s142 [label="7 / XO_XXOOXO"];
	s116 -> s0 [label="8 / XO_XXOO_X"];
	s117 -> s117 [label="0 / XO_XOXO__"];
	s117 -> s117 [label="1 / XO_XOXO__"];
	s117 -> s0 [label="2 / XOXXOXOO_"];
	s117 -> s117 [label="3 / XO_XOXO__"];
	s117 -> s117 [label="4 / XO_XOXO__"];
	s117 -> s117 [label="5 / XO_XOXO__"];
	s117 -> s117 [label="6 / XO_XOXO__"];
	s117 -> s0 [label="7 / XOOXOXOX_"];
	s117 -> s0 [label="8 / XOOXOXO_X"];
	s118 -> s118 [label="0 / XOOX__OX_"];
	s118 -> s118 [label="1 / XOOX__OX_"];
	s118 -> s118 [label="2 / XOOX__OX_"];
	s118 -> s118 [label="3 / XOOX__OX_"];
	s118 -> s143 [label="4 / XOOXXOOX_"];
	s118 -> s0 [label="5 / XOOXOXOX_"];
	s118 -> s118 [label="6 / XOOX__OX_"];
	s118 -> s118 [label="7 / XOOX__OX_"];
	s118 -> s0 [label="8 / XOOXO_OXX"];
	s119 -> s119 [label="0 / XO_XO_O_X"];
	s119 -> s119 [label="1 / XO_XO_O_X"];
	s119 -> s0 [label="2 / XOXXO_OOX"];
	s119 -> s119 [label="3 / XO_XO_O_X"];
	s119 -> s119 [label="4 / XO_XO_O_X"];
	s119 -> s0 [label="5 / XOOXOXO_X"];
	s119 -> s119 [label="6 / XO_XO_O_X"];
	s119 -> s0 [label="7 / XOOXO_OXX"];
	s119 -> s119 [label="8 / XO_XO_O_X"];
	s120 -> s120 [label="0 / XOX_X_O_O"];
	s120 -> s120 [label="1 / XOX_X_O_O"];
	s120 -> s120 [label="2 / XOX_X_O_O"];
	s120 -> s0 [label="3 / XOXXX_OOO"];
	s120 -> s120 [label="4 / XOX_X_O_O"];
	s120 -> s0 [label="5 / XOX_XXOOO"];
	s120 -> s120 [label="6 / XOX_X_O_O"];
	s120 -> s137 [label="7 / XOXOX_OXO"];
	s120 -> s120 [label="8 / XOX_X_O_O"];
	s121 -> s121 [label="0 / XO_XXO__O"];
	s121 -> s121 [label="1 / XO_XXO__O"];
	s121 -> s141 [label="2 / XOXXXOO_O"];
	s121 -> s121 [label="3 / XO_XXO__O"];
	s121 -> s121 [label="4 / XO_XXO__O"];
	s121 -> s121 [label="5 / XO_XXO__O"];
	s121 -> s0 [label="6 / XO_XXOX_O"];
	s121 -> s0 [label="7 / XOOXXO_XO"];
	s121 -> s121 [label="8 / XO_XXO__O"];
	s122 -> s122 [label="0 / XO_OXX__O"];
	s122 -> s122 [label="1 / XO_OXX__O"];
	s122 -> s136 [label="2 / XOXOXXO_O"];
	s122 -> s122 [label="3 / XO_OXX__O"];
	s122 -> s122 [label="4 / XO_OXX__O"];
	s122 -> s122 [label="5 / XO_OXX__O"];
	s122 -> s144 [label="6 / XOOOXXX_O"];
	s122 -> s145 [label="7 / XOOOXX_XO"];
	s122 -> s122 [label="8 / XO_OXX__O"];
	s123 -> s123 [label="0 / XOO_X_X_O"];
	s123 -> s123 [label="1 / XOO_X_X_O"];
	s123 -> s123 [label="2 / XOO_X_X_O"];
	s123 -> s0 [label="3 / XOOXX_X_O"];
	s123 -> s123 [label="4 / XOO_X_X_O"];
	s123 -> s144 [label="5 / XOOOXXX_O"];
	s123 -> s123 [label="6 / XOO_X_X_O"];
	s123 -> s0 [label="7 / XOO_XOXXO"];
	s123 -> s123 [label="8 / XOO_X_X_O"];
	s124 -> s124 [label="0 / XOO_X__XO"];
	s124 -> s124 [label="1 / XOO_X__XO"];
	s124 -> s124 [label="2 / XOO_X__XO"];
	s124 -> s0 [label="3 / XOOXXO_XO"];
	s124 -> s124 [label="4 / XOO_X__XO"];
	s124 -> s145 [label="5 / XOOOXX_XO"];
	s124 -> s0 [label="6 / XOO_XOXXO"];
	s124 -> s124 [label="7 / XOO_X__XO"];
	s124 -> s124 [label="8 / XOO_X__XO"];
	s125 -> s125 [label="0 / XOOXOX___"];
	s125 -> s125 [label="1 / XOOXOX___"];
	s125 -> s125 [label="2 / XOOXOX___"];
	s125 -> s125 [label="3 / XOOXOX___"];
	s125 -> s125 [label="4 / XOOXOX___"];
	s125 -> s125 [label="5 / XOOXOX___"];
	s125 -> s0 [label="6 / XOOXOXX__"];
	s125 -> s0 [label="7 / XOOXOXOX_"];
	s125 -> s0 [label="8 / XOOXOXO_X"];
	s126 -> s126 [label="0 / XOOOXX___"];
	s126 -> s126 [label="1 / XOOOXX___"];
	s126 -> s126 [label="2 / XOOOXX___"];
	s126 -> s126 [label="3 / XOOOXX___"];
	s126 -> s126 [label="4 / XOOOXX___"];
	s126 -> s126 [label="5 / XOOOXX___"];
	s126 -> s144 [label="6 / XOOOXXX_O"];
	s126 -> s145 [label="7 / XOOOXX_XO"];
	s126 -> s0 [label="8 / XOOOXX__X"];
	s127 -> s127 [label="0 / XOOO_XX__"];
	s127 -> s127 [label="1 / XOOO_XX__"];
	s127 -> s127 [label="2 / XOOO_XX__"];
	s127 -> s127 [label="3 / XOOO_XX__"];
	s127 -> s144 [label="4 / XOOOXXX_O"];
	s127 -> s127 [label="5 / XOOO_XX__"];
	s127 -> s127 [label="6 / XOOO_XX__"];
	s127 -> s146 [label="7 / XOOO_XXXO"];
	s127 -> s147 [label="8 / XOOOOXX_X"];
	s128 -> s128 [label="0 / XOOO_X_X_"];
	s128 -> s128 [label="1 / XOOO_X_X_"];
	s128 -> s128 [label="2 / XOOO_X_X_"];
	s128 -> s128 [label="3 / XOOO_X_X_"];
	s128 -> s145 [label="4 / XOOOXX_XO"];
	s128 -> s128 [label="5 / XOOO_X_X_"];
	s128 -> s146 [label="6 / XOOO_XXXO"];
	s128 -> s128 [label="7 / XOOO_X_X_"];
	s128 -> s148 [label="8 / XOOOOX_XX"];
	s129 -> s129 [label="0 / XOO_OX__X"];
	s129 -> s129 [label="1 / XOO_OX__X"];
	s129 -> s129 [label="2 / XOO_OX__X"];
	s129 -> s0 [label="3 / XOOXOXO_X"];
	s129 -> s129 [label="4 / XOO_OX__X"];
	s129 -> s129 [label="5 / XOO_OX__X"];
	s129 -> s0 [label="6 / XOO_OXXOX"];
	s129 -> s0 [label="7 / XOO_OXOXX"];
	s129 -> s129 [label="8 / XOO_OX__X"];
	s130 -> s130 [label="0 / XOOOX_X__"];
	s130 -> s130 [label="1 / XOOOX_X__"];
	s130 -> s130 [label="2 / XOOOX_X__"];
	s130 -> s130 [label="3 / XOOOX_X__"];
	s130 -> s130 [label="4 / XOOOX_X__"];
	s130 -> s144 [label="5 / XOOOXXX_O"];
	s130 -> s130 [label="6 / XOOOX_X__"];
	s130 -> s149 [label="7 / XOOOX_XXO"];
	s130 -> s0 [label="8 / XOOOX_X_X"];
	s131 -> s131 [label="0 / XO_O__XXO"];
	s131 -> s131 [label="1 / XO_O__XXO"];
	s131 -> s150 [label="2 / XOXOO_XXO"];
	s131 -> s131 [label="3 / XO_O__XXO"];
	s131 -> s149 [label="4 / XOOOX_XXO"];
	s131 -> s146 [label="5 / XOOO_XXXO"];
	s131 -> s131 [label="6 / XO_O__XXO"];
	s131 -> s131 [label="7 / XO_O__XXO"];
	s131 -> s131 [label="8 / XO_O__XXO"];
	s132 -> s132 [label="0 / XO_OO_X_X"];
	s132 -> s132 [label="1 / XO_OO_X_X"];
	s132 -> s0 [label="2 / XOXOOOX_X"];
	s132 -> s132 [label="3 / XO_OO_X_X"];
	s132 -> s132 [label="4 / XO_OO_X_X"];
	s132 -> s0 [label="5 / XO_OOXXOX"];
	s132 -> s132 [label="6 / XO_OO_X_X"];
	s132 -> s0 [label="7 / XO_OO_XXX"];
	s132 -> s132 [label="8 / XO_OO_X_X"];
	s133 -> s133 [label="0 / XOOO__XX_"];
	s133 -> s133 [label="1 / XOOO__XX_"];
	s133 -> s133 [label="2 / XOOO__XX_"];
	s133 -> s133 [label="3 / XOOO__XX_"];
	s133 -> s149 [label="4 / XOOOX_XXO"];
	s133 -> s146 [label="5 / XOOO_XXXO"];
	s133 -> s133 [label="6 / XOOO__XX_"];
	s133 -> s133 [label="7 / XOOO__XX_"];
	s133 -> s0 [label="8 / XOOO__XXX"];
	s134 -> s134 [label="0 / XOO_O__XX"];
	s134 -> s134 [label="1 / XOO_O__XX"];
	s134 -> s134 [label="2 / XOO_O__XX"];
	s134 -> s0 [label="3 / XOOXO_OXX"];
	s134 -> s134 [label="4 / XOO_O__XX"];
	s134 -> s0 [label="5 / XOO_OXOXX"];
	s134 -> s0 [label="6 / XOO_O_XXX"];
	s134 -> s134 [label="7 / XOO_O__XX"];
	s134 -> s134 [label="8 / XOO_O__XX"];
	s135 -> s135 [label="0 / XO__O_OXX"];
	s135 -> s135 [label="1 / XO__O_OXX"];
	s135 -> s151 [label="2 / XOX_OOOXX"];
	s135 -> s0 [label="3 / XOOXO_OXX"];
	s135 -> s135 [label="4 / XO__O_OXX"];
	s135 -> s0 [label="5 / XOO_OXOXX"];
	s135 -> s135 [label="6 / XO__O_OXX"];
	s135 -> s135 [label="7 / XO__O_OXX"];
	s135 -> s135 [label="8 / XO__O_OXX"];
	s136 -> s136 [label="0 / XOXOXXO_O"];
	s136 -> s136 [label="1 / XOXOXXO_O"];
	s136 -> s136 [label="2 / XOXOXXO_O"];
	s136 -> s136 [label="3 / XOXOXXO_O"];
	s136 -> s136 [label="4 / XOXOXXO_O"];
	s136 -> s136 [label="5 / XOXOXXO_O"];
	s136 -> s136 [label="6 / XOXOXXO_O"];
	s136 -> s0 [label="7 / XOXOXXOXO"];
	s136 -> s136 [label="8 / XOXOXXO_O"];
	s137 -> s137 [label="0 / XOXOX_OXO"];
	s137 -> s137 [label="1 / XOXOX_OXO"];
	s137 -> s137 [label="2 / XOXOX_OXO"];
	s137 -> s137 [label="3 / XOXOX_OXO"];
	s137 -> s137 [label="4 / XOXOX_OXO"];
	s137 -> s0 [label="5 / XOXOXXOXO"];
	s137 -> s137 [label="6 / XOXOX_OXO"];
	s137 -> s137 [label="7 / XOXOX_OXO"];
	s137 -> s137 [label="8 / XOXOX_OXO"];
	s138 -> s138 [label="0 / XOXOOXX_O"];
	s138 -> s138 [label="1 / XOXOOXX_O"];
	s138 -> s138 [label="2 / XOXOOXX_O"];
	s138 -> s138 [label="3 / XOXOOXX_O"];
	s138 -> s138 [label="4 / XOXOOXX_O"];
	s138 -> s138 [label="5 / XOXOOXX_O"];
	s138 -> s138 [label="6 / XOXOOXX_O"];
	s138 -> s0 [label="7 / XOXOOXXXO"];
	s138 -> s138 [label="8 / XOXOOXX_O"];
	s139 -> s139 [label="0 / XOXOOX_XO"];
	s139 -> s139 [label="1 / XOXOOX_XO"];
	s139 -> s139 [label="2 / XOXOOX_XO"];
	s139 -> s139 [label="3 / XOXOOX_XO"];
	s139 -> s139 [label="4 / XOXOOX_XO"];
	s139 -> s139 [label="5 / XOXOOX_XO"];
	s139 -> s0 [label="6 / XOXOOXXXO"];
	s139 -> s139 [label="7 / XOXOOX_XO"];
	s139 -> s139 [label="8 / XOXOOX_XO"];
	s140 -> s140 [label="0 / XOXXOOOX_"];
	s140 -> s140 [label="1 / XOXXOOOX_"];
	s140 -> s140 [label="2 / XOXXOOOX_"];
	s140 -> s140 [label="3 / XOXXOOOX_"];
	s140 -> s140 [label="4 / XOXXOOOX_"];
	s140 -> s140 [label="5 / XOXXOOOX_"];
	s140 -> s140 [label="6 / XOXXOOOX_"];
	s140 -> s140 [label="7 / XOXXOOOX_"];
	s140 -> s0 [label="8 / XOXXOOOXX"];
	s141 -> s141 [label="0 / XOXXXOO_O"];
	s141 -> s141 [label="1 / XOXXXOO_O"];
	s141 -> s141 [label="2 / XOXXXOO_O"];
	s141 -> s141 [label="3 / XOXXXOO_O"];
	s141 -> s141 [label="4 / XOXXXOO_O"];
	s141 -> s141 [label="5 / XOXXXOO_O"];
	s141 -> s141 [label="6 / XOXXXOO_O"];
	s141 -> s0 [label="7 / XOXXXOOXO"];
	s141 -> s141 [label="8 / XOXXXOO_O"];
	s142 -> s142 [label="0 / XO_XXOOXO"];
	s142 -> s142 [label="1 / XO_XXOOXO"];
	s142 -> s0 [label="2 / XOXXXOOXO"];
	s142 -> s142 [label="3 / XO_XXOOXO"];
	s142 -> s142 [label="4 / XO_XXOOXO"];
	s142 -> s142 [label="5 / XO_XXOOXO"];
	s142 -> s142 [label="6 / XO_XXOOXO"];
	s142 -> s142 [label="7 / XO_XXOOXO"];
	s142 -> s142 [label="8 / XO_XXOOXO"];
	s143 -> s143 [label="0 / XOOXXOOX_"];
	s143 -> s143 [label="1 / XOOXXOOX_"];
	s143 -> s143 [label="2 / XOOXXOOX_"];
	s143 -> s143 [label="3 / XOOXXOOX_"];
	s143 -> s143 [label="4 / XOOXXOOX_"];
	s143 -> s143 [label="5 / XOOXXOOX_"];
	s143 -> s143 [label="6 / XOOXXOOX_"];
	s143 -> s143 [label="7 / XOOXXOOX_"];
	s143 -> s0 [label="8 / XOOXXOOXX"];
	s144 -> s144 [label="0 / XOOOXXX_O"];
	s144 -> s144 [label="1 / XOOOXXX_O"];
	s144 -> s144 [label="2 / XOOOXXX_O"];
	s144 -> s144 [label="3 / XOOOXXX_O"];
	s144 -> s144 [label="4 / XOOOXXX_O"];
	s144 -> s144 [label="5 / XOOOXXX_O"];
	s144 -> s144 [label="6 / XOOOXXX_O"];
	s144 -> s0 [label="7 / XOOOXXXXO"];
	s144 -> s144 [label="8 / XOOOXXX_O"];
	s145 -> s145 [label="0 / XOOOXX_XO"];
	s145 -> s145 [label="1 / XOOOXX_XO"];
	s145 -> s145 [label="2 / XOOOXX_XO"];
	s145 -> s145 [label="3 / XOOOXX_XO"];
	s145 -> s145 [label="4 / XOOOXX_XO"];
	s145 -> s145 [label="5 / XOOOXX_XO"];
	s145 -> s0 [label="6 / XOOOXXXXO"];
	s145 -> s145 [label="7 / XOOOXX_XO"];
	s145 -> s145 [label="8 / XOOOXX_XO"];
	s146 -> s146 [label="0 / XOOO_XXXO"];
	s146 -> s146 [label="1 / XOOO_XXXO"];
	s146 -> s146 [label="2 / XOOO_XXXO"];
	s146 -> s146 [label="3 / XOOO_XXXO"];
	s146 -> s0 [label="4 / XOOOXXXXO"];
	s146 -> s146 [label="5 / XOOO_XXXO"];
	s146 -> s146 [label="6 / XOOO_XXXO"];
	s146 -> s146 [label="7 / XOOO_XXXO"];
	s146 -> s146 [label="8 / XOOO_XXXO"];
	s147 -> s147 [label="0 / XOOOOXX_X"];
	s147 -> s147 [label="1 / XOOOOXX_X"];
	s147 -> s147 [label="2 / XOOOOXX_X"];
	s147 -> s147 [label="3 / XOOOOXX_X"];
	s147 -> s147 [label="4 / XOOOOXX_X"];
	s147 -> s147 [label="5 / XOOOOXX_X"];
	s147 -> s147 [label="6 / XOOOOXX_X"];
	s147 -> s0 [label="7 / XOOOOXXXX"];
	s147 -> s147 [label="8 / XOOOOXX_X"];
	s148 -> s148 [label="0 / XOOOOX_XX"];
	s148 -> s148 [label="1 / XOOOOX_XX"];
	s148 -> s148 [label="2 / XOOOOX_XX"];
	s148 -> s148 [label="3 / XOOOOX_XX"];
	s148 -> s148 [label="4 / XOOOOX_XX"];
	s148 -> s148 [label="5 / XOOOOX_XX"];
	s148 -> s0 [label="6 / XOOOOXXXX"];
	s148 -> s148 [label="7 / XOOOOX_XX"];
	s148 -> s148 [label="8 / XOOOOX_XX"];
	s149 -> s149 [label="0 / XOOOX_XXO"];
	s149 -> s149 [label="1 / XOOOX_XXO"];
	s149 -> s149 [label="2 / XOOOX_XXO"];
	s149 -> s149 [label="3 / XOOOX_XXO"];
	s149 -> s149 [label="4 / XOOOX_XXO"];
	s149 -> s0 [label="5 / XOOOXXXXO"];
	s149 -> s149 [label="6 / XOOOX_XXO"];
	s149 -> s149 [label="7 / XOOOX_XXO"];
	s149 -> s149 [label="8 / XOOOX_XXO"];
	s150 -> s150 [label="0 / XOXOO_XXO"];
	s150 -> s150 [label="1 / XOXOO_XXO"];
	s150 -> s150 [label="2 / XOXOO_XXO"];
	s150 -> s150 [label="3 / XOXOO_XXO"];
	s150 -> s150 [label="4 / XOXOO_XXO"];
	s150 -> s0 [label="5 / XOXOOXXXO"];
	s150 -> s150 [label="6 / XOXOO_XXO"];
	s150 -> s150 [label="7 / XOXOO_XXO"];
	s150 -> s150 [label="8 / XOXOO_XXO"];
	s151 -> s151 [label="0 / XOX_OOOXX"];
	s151 -> s151 [label="1 / XOX_OOOXX"];
	s151 -> s151 [label="2 / XOX_OOOXX"];
	s151 -> s0 [label="3 / XOXXOOOXX"];
	s151 -> s151 [label="4 / XOX_OOOXX"];
	s151 -> s151 [label="5 / XOX_OOOXX"];
	s151 -> s151 [label="6 / XOX_OOOXX"];
	s151 -> s151 [label="7 / XOX_OOOXX"];
	s151 -> s151 [label="8 / XOX_OOOXX"];

__start0 -> s0;
}