Graph forms
for C4 [ 512, 49 ] =
PL(Curtain_64(1,32,2,33,34),[4^64,8^32])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 49 ] =
PL(Curtain_64(1,32,2,33,34),[4^64,8^32]).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 349}, {256, 365}, {256, 435}, {256, 508}, {1, 257}, {144,
400}, {3, 259}, {46, 302}, {171, 427}, {32, 289}, {121, 376}, {195, 450}, {28,
286}, {70, 325}, {149, 406}, {90, 345}, {206, 461}, {214, 469}, {233, 490}, {4,
257}, {145, 404}, {114, 375}, {20, 273}, {58, 319}, {65, 324}, {85, 336}, {173,
424}, {5, 259}, {176, 438}, {235, 493}, {38, 289}, {251, 508}, {147, 404}, {45,
298}, {94, 345}, {218, 477}, {38, 302}, {163, 427}, {159, 406}, {203, 450},
{212, 477}, {27, 273}, {113, 379}, {188, 438}, {21, 286}, {157, 406}, {133,
398}, {122, 369}, {42, 289}, {78, 325}, {82, 345}, {198, 461}, {210, 478}, {66,
335}, {153, 404}, {13, 259}, {151, 409}, {17, 287}, {202, 452}, {227, 493}, {14,
257}, {161, 430}, {158, 401}, {31, 272}, {37, 298}, {210, 477}, {126, 366},
{253, 493}, {166, 438}, {19, 258}, {157, 396}, {128, 401}, {93, 332}, {102,
375}, {105, 376}, {185, 424}, {196, 469}, {220, 461}, {51, 289}, {73, 347}, {44,
319}, {135, 404}, {59, 296}, {86, 325}, {98, 369}, {10, 287}, {63, 298}, {69,
336}, {89, 332}, {109, 376}, {200, 477}, {9, 287}, {125, 363}, {51, 293}, {187,
429}, {160, 439}, {213, 450}, {25, 257}, {245, 493}, {152, 384}, {136, 400},
{118, 366}, {174, 438}, {198, 478}, {60, 293}, {97, 376}, {204, 469}, {50, 296},
{189, 423}, {24, 259}, {41, 306}, {106, 369}, {172, 439}, {30, 258}, {184, 420},
{2, 287}, {56, 293}, {74, 343}, {77, 336}, {81, 332}, {194, 479}, {208, 461},
{33, 319}, {117, 363}, {101, 379}, {179, 429}, {181, 427}, {55, 296}, {145,
398}, {110, 369}, {2, 290}, {117, 341}, {10, 299}, {150, 439}, {125, 348}, {30,
319}, {69, 356}, {86, 375}, {185, 408}, {50, 272}, {130, 416}, {60, 286}, {162,
384}, {197, 487}, {1, 290}, {20, 311}, {70, 357}, {74, 361}, {223, 508}, {225,
450}, {118, 338}, {132, 416}, {164, 384}, {175, 395}, {55, 274}, {144, 437},
{139, 430}, {121, 348}, {56, 285}, {105, 332}, {169, 396}, {204, 489}, {6, 288},
{65, 359}, {93, 379}, {5, 290}, {143, 424}, {16, 311}, {78, 361}, {98, 325}, {3,
299}, {8, 288}, {31, 311}, {206, 486}, {207, 487}, {11, 290}, {158, 439}, {156,
437}, {27, 306}, {94, 375}, {177, 408}, {192, 489}, {59, 273}, {138, 416}, {77,
359}, {170, 384}, {186, 400}, {205, 487}, {11, 288}, {66, 361}, {179, 408},
{215, 508}, {167, 395}, {6, 299}, {131, 430}, {113, 348}, {63, 274}, {73, 359},
{85, 379}, {4, 299}, {135, 424}, {24, 311}, {16, 288}, {151, 423}, {46, 286},
{101, 341}, {169, 409}, {193, 497}, {243, 451}, {97, 336}, {139, 442}, {122,
328}, {137, 443}, {195, 497}, {49, 258}, {134, 437}, {90, 361}, {106, 345},
{196, 503}, {102, 338}, {37, 272}, {81, 356}, {194, 503}, {52, 258}, {126, 328},
{82, 357}, {221, 490}, {226, 469}, {109, 341}, {161, 409}, {159, 423}, {201,
497}, {41, 272}, {203, 498}, {8, 306}, {114, 328}, {163, 409}, {142, 437}, {248,
451}, {149, 430}, {170, 401}, {45, 273}, {255, 451}, {110, 338}, {218, 486},
{219, 487}, {171, 406}, {254, 451}, {202, 503}, {89, 359}, {174, 400}, {13,
306}, {167, 408}, {68, 260}, {148, 468}, {199, 391}, {92, 285}, {141, 460},
{104, 297}, {222, 415}, {186, 504}, {246, 436}, {18, 337}, {111, 300}, {212,
407}, {75, 271}, {247, 435}, {87, 275}, {88, 284}, {165, 480}, {249, 444}, {136,
462}, {183, 497}, {205, 395}, {39, 352}, {249, 446}, {244, 435}, {181, 498},
{232, 431}, {22, 350}, {156, 468}, {71, 271}, {76, 260}, {57, 368}, {91, 274},
{214, 415}, {235, 418}, {130, 456}, {254, 436}, {150, 476}, {178, 504}, {36,
367}, {154, 465}, {138, 449}, {103, 300}, {165, 494}, {220, 407}, {238, 421},
{29, 337}, {252, 432}, {67, 271}, {72, 260}, {95, 275}, {180, 504}, {80, 285},
{173, 480}, {191, 498}, {243, 446}, {15, 321}, {253, 435}, {168, 486}, {234,
420}, {134, 457}, {255, 432}, {175, 480}, {184, 503}, {189, 498}, {241, 446},
{84, 260}, {140, 476}, {100, 308}, {168, 504}, {224, 432}, {228, 436}, {53,
356}, {107, 314}, {237, 444}, {211, 385}, {217, 395}, {54, 357}, {127, 300},
{124, 303}, {52, 352}, {251, 431}, {154, 462}, {211, 391}, {108, 313}, {153,
460}, {131, 470}, {191, 490}, {7, 337}, {123, 301}, {23, 321}, {34, 372}, {42,
380}, {176, 486}, {209, 391}, {233, 447}, {120, 303}, {129, 470}, {190, 489},
{40, 368}, {132, 476}, {236, 436}, {61, 356}, {112, 297}, {96, 313}, {231, 446},
{119, 301}, {245, 431}, {148, 462}, {216, 386}, {219, 385}, {26, 321}, {146,
457}, {116, 303}, {43, 368}, {47, 372}, {62, 357}, {187, 480}, {83, 271}, {152,
452}, {146, 462}, {227, 447}, {12, 337}, {64, 285}, {79, 274}, {183, 490}, {49,
367}, {115, 301}, {217, 391}, {225, 447}, {99, 316}, {250, 421}, {142, 465},
{137, 470}, {177, 494}, {182, 489}, {240, 431}, {15, 367}, {124, 284}, {28,
380}, {84, 308}, {226, 386}, {239, 399}, {68, 293}, {75, 298}, {100, 261}, {57,
347}, {76, 302}, {188, 478}, {231, 389}, {237, 399}, {44, 335}, {120, 283},
{119, 276}, {160, 452}, {192, 420}, {229, 385}, {238, 394}, {95, 314}, {107,
270}, {242, 407}, {18, 372}, {34, 324}, {61, 347}, {178, 468}, {228, 386}, {48,
343}, {250, 413}, {91, 316}, {7, 367}, {155, 499}, {123, 275}, {23, 383}, {92,
308}, {197, 429}, {215, 447}, {216, 432}, {234, 386}, {40, 321}, {244, 413},
{62, 343}, {80, 313}, {103, 270}, {108, 261}, {182, 479}, {180, 478}, {193,
427}, {229, 399}, {239, 389}, {67, 296}, {127, 276}, {87, 316}, {12, 352}, {35,
335}, {88, 308}, {112, 284}, {230, 394}, {29, 368}, {58, 343}, {99, 270}, {104,
261}, {200, 421}, {26, 372}, {129, 495}, {64, 302}, {201, 423}, {43, 324}, {83,
316}, {242, 413}, {241, 385}, {53, 324}, {116, 261}, {72, 313}, {230, 407}, {14,
380}, {166, 468}, {12, 383}, {246, 389}, {172, 479}, {207, 444}, {236, 415},
{47, 347}, {9, 380}, {155, 494}, {128, 501}, {79, 314}, {208, 421}, {232, 413},
{133, 499}, {23, 352}, {248, 399}, {213, 418}, {39, 350}, {252, 389}, {140,
501}, {54, 335}, {36, 350}, {190, 452}, {222, 420}, {240, 394}, {164, 479},
{199, 444}, {96, 284}, {143, 499}, {111, 275}, {209, 429}, {2, 383}, {247, 394},
{147, 494}, {115, 270}, {71, 314}, {223, 418}, {1, 383}, {141, 499}, {162, 476},
{33, 350}, {221, 418}, {224, 415}, {50, 434}, {82, 466}, {98, 482}, {198, 326},
{82, 464}, {152, 282}, {151, 277}, {132, 262}, {10, 393}, {118, 501}, {31, 412},
{17, 405}, {249, 381}, {107, 495}, {28, 410}, {139, 269}, {64, 454}, {84, 466},
{100, 482}, {102, 481}, {156, 283}, {242, 373}, {90, 466}, {106, 482}, {202,
322}, {206, 326}, {76, 454}, {159, 277}, {140, 262}, {135, 269}, {98, 488},
{193, 331}, {201, 323}, {2, 393}, {144, 283}, {126, 501}, {57, 434}, {58, 433},
{78, 453}, {168, 291}, {99, 495}, {250, 374}, {194, 334}, {66, 463}, {131, 269},
{136, 262}, {21, 410}, {155, 276}, {106, 485}, {110, 481}, {191, 304}, {213,
346}, {241, 382}, {214, 326}, {253, 365}, {221, 333}, {237, 381}, {112, 481},
{252, 365}, {251, 362}, {148, 262}, {180, 294}, {171, 312}, {176, 291}, {183,
292}, {211, 320}, {218, 329}, {230, 373}, {217, 333}, {254, 362}, {226, 374},
{233, 381}, {95, 458}, {255, 362}, {16, 390}, {70, 464}, {163, 309}, {30, 393},
{37, 434}, {61, 426}, {93, 458}, {167, 304}, {172, 315}, {179, 292}, {205, 346},
{215, 320}, {222, 329}, {75, 467}, {238, 374}, {88, 449}, {164, 317}, {19, 393},
{117, 495}, {72, 466}, {188, 294}, {128, 283}, {246, 365}, {160, 315}, {143,
276}, {210, 329}, {219, 320}, {229, 382}, {9, 405}, {209, 333}, {225, 381},
{234, 374}, {44, 433}, {124, 481}, {47, 434}, {24, 390}, {147, 269}, {184, 294},
{85, 458}, {245, 362}, {90, 453}, {175, 304}, {187, 292}, {197, 346}, {35, 387},
{96, 449}, {156, 317}, {119, 470}, {112, 465}, {107, 458}, {183, 278}, {184,
281}, {89, 507}, {250, 344}, {151, 309}, {101, 455}, {202, 360}, {111, 460},
{245, 342}, {164, 263}, {214, 373}, {221, 382}, {227, 320}, {234, 329}, {34,
390}, {252, 344}, {249, 349}, {62, 410}, {63, 411}, {76, 488}, {108, 456}, {226,
326}, {233, 333}, {24, 445}, {246, 339}, {152, 317}, {140, 297}, {55, 402}, {64,
485}, {198, 355}, {147, 309}, {251, 349}, {188, 282}, {206, 360}, {6, 417},
{255, 344}, {159, 312}, {139, 300}, {103, 448}, {171, 268}, {193, 358}, {197,
354}, {111, 455}, {47, 390}, {148, 317}, {128, 297}, {53, 412}, {69, 492}, {191,
278}, {11, 417}, {109, 455}, {176, 282}, {194, 360}, {242, 344}, {103, 460},
{253, 342}, {144, 315}, {132, 303}, {167, 268}, {172, 263}, {205, 358}, {213,
382}, {222, 373}, {55, 411}, {68, 488}, {100, 456}, {241, 349}, {46, 387}, {254,
339}, {131, 301}, {155, 309}, {187, 277}, {44, 387}, {163, 268}, {168, 263},
{201, 358}, {13, 445}, {68, 500}, {12, 445}, {113, 448}, {27, 426}, {36, 405},
{210, 355}, {39, 405}, {218, 360}, {18, 417}, {136, 315}, {115, 448}, {180,
263}, {209, 354}, {229, 342}, {41, 412}, {124, 457}, {230, 339}, {66, 500}, {77,
507}, {143, 312}, {9, 433}, {104, 465}, {121, 448}, {7, 445}, {160, 282}, {88,
482}, {175, 277}, {94, 485}, {225, 346}, {237, 342}, {29, 417}, {123, 455}, {81,
492}, {116, 457}, {238, 339}, {20, 426}, {118, 456}, {74, 500}, {86, 488}, {14,
433}, {135, 312}, {126, 449}, {60, 387}, {179, 268}, {217, 358}, {23, 471}, {26,
474}, {43, 491}, {83, 403}, {186, 378}, {200, 264}, {203, 267}, {215, 279},
{216, 280}, {231, 295}, {25, 472}, {27, 474}, {81, 403}, {138, 328}, {133, 327},
{243, 305}, {58, 505}, {177, 370}, {109, 425}, {204, 264}, {91, 414}, {244,
305}, {145, 340}, {127, 442}, {220, 281}, {75, 397}, {247, 305}, {125, 443},
{93, 411}, {16, 471}, {125, 442}, {30, 473}, {49, 502}, {18, 474}, {195, 267},
{223, 279}, {239, 295}, {48, 505}, {248, 305}, {157, 340}, {150, 351}, {52,
509}, {208, 281}, {1, 459}, {141, 327}, {51, 505}, {89, 403}, {185, 371}, {178,
377}, {21, 473}, {40, 484}, {56, 500}, {196, 264}, {199, 267}, {83, 414}, {153,
340}, {110, 419}, {219, 278}, {67, 397}, {104, 422}, {4, 459}, {117, 442}, {48,
511}, {232, 295}, {74, 410}, {154, 330}, {130, 338}, {121, 425}, {84, 388},
{170, 378}, {67, 402}, {142, 351}, {36, 502}, {161, 371}, {149, 327}, {116,
422}, {40, 506}, {57, 491}, {228, 310}, {65, 402}, {224, 307}, {71, 403}, {158,
330}, {129, 341}, {114, 422}, {174, 378}, {108, 441}, {137, 348}, {182, 355},
{235, 318}, {14, 472}, {45, 507}, {59, 492}, {165, 370}, {181, 354}, {240, 295},
{15, 471}, {146, 330}, {120, 416}, {85, 397}, {92, 388}, {162, 378}, {211, 267},
{96, 441}, {134, 351}, {122, 419}, {192, 281}, {207, 278}, {39, 509}, {42, 496},
{169, 371}, {73, 402}, {35, 511}, {122, 422}, {212, 264}, {22, 459}, {56, 485},
{65, 412}, {190, 355}, {32, 510}, {37, 507}, {50, 492}, {173, 371}, {8, 471},
{38, 505}, {87, 392}, {166, 377}, {189, 354}, {236, 307}, {26, 506}, {59, 475},
{170, 330}, {174, 334}, {105, 392}, {141, 364}, {223, 318}, {232, 265}, {235,
266}, {78, 428}, {102, 388}, {196, 294}, {212, 310}, {8, 491}, {130, 353}, {19,
496}, {38, 453}, {51, 464}, {73, 426}, {91, 440}, {192, 291}, {208, 307}, {7,
483}, {95, 443}, {42, 463}, {137, 364}, {236, 265}, {13, 491}, {161, 327}, {22,
496}, {25, 511}, {53, 467}, {79, 425}, {173, 331}, {4, 483}, {158, 377}, {149,
370}, {25, 510}, {94, 441}, {195, 292}, {134, 366}, {166, 334}, {240, 280}, {10,
483}, {120, 401}, {49, 472}, {97, 392}, {227, 266}, {33, 459}, {70, 428}, {220,
310}, {21, 510}, {138, 353}, {46, 453}, {72, 419}, {99, 392}, {15, 483}, {28,
496}, {52, 472}, {60, 464}, {63, 467}, {87, 443}, {97, 397}, {129, 364}, {228,
265}, {231, 266}, {17, 511}, {133, 363}, {61, 467}, {71, 425}, {165, 331}, {216,
310}, {17, 510}, {248, 279}, {247, 280}, {157, 370}, {150, 377}, {142, 353},
{113, 414}, {32, 463}, {86, 441}, {204, 291}, {20, 484}, {43, 475}, {54, 454},
{92, 428}, {178, 322}, {207, 318}, {105, 411}, {177, 323}, {5, 502}, {127, 396},
{41, 474}, {80, 419}, {77, 440}, {153, 364}, {123, 398}, {45, 475}, {114, 388},
{79, 440}, {33, 473}, {62, 454}, {182, 334}, {186, 322}, {224, 280}, {239, 279},
{3, 506}, {29, 484}, {32, 473}, {34, 475}, {54, 463}, {199, 318}, {243, 266},
{145, 363}, {185, 323}, {6, 509}, {154, 353}, {119, 396}, {31, 484}, {101, 414},
{200, 307}, {203, 304}, {80, 428}, {146, 366}, {190, 322}, {11, 502}, {162,
351}, {115, 398}, {69, 440}, {169, 340}, {244, 265}, {3, 509}, {181, 331}, {189,
323}, {5, 506}, {19, 512}, {22, 512}, {35, 512}, {48, 512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 349}
under the group generated by the following permutations:
a: (87, 99)(95, 107)(101, 113)(103, 111)(109, 121)(115, 123)(117, 125)(129,
137)(270, 275)(341, 348)(443, 495)(448, 455) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (34, 47)(37, 53)(43, 57)(45, 61)(50, 65)(59, 73)(69, 77)(81, 89)(272,
412)(273, 426)(296, 402)(298, 467)(324, 434)(347, 475)(356, 507)(359, 492)
c: (88, 100)(96, 108)(102, 114)(104, 112)(110, 122)(116, 124)(118, 126)(130,
138)(261, 284)(328, 338)(422, 481)(449, 456)
d: (152, 164)(160, 172)(166, 178)(168, 176)(174, 186)(180, 188)(182, 190)(194,
202)(263, 282)(322, 334)(438, 504)(452, 479)
e: (8, 16)(13, 24)(20, 43)(27, 34)(31, 57)(41, 47)(53, 61)(65, 73)(272,
434)(273, 475)(306, 390)(311, 491)(324, 426)(347, 412)(368, 484)(372, 474)
f: (19, 30)(21, 35)(22, 33)(28, 44)(32, 48)(42, 58)(54, 62)(66, 74)(286,
387)(289, 505)(319, 496)(335, 410)(343, 463)(380, 433)(473, 512)(510, 511)
g: (3, 6)(5, 11)(7, 15)(8, 13)(12, 23)(16, 24)(18, 26)(29, 40)(259, 288)(321,
337)(417, 506)(445, 471)
h: (149, 161)(151, 165)(157, 169)(159, 173)(163, 177)(171, 185)(181, 189)(193,
201)(268, 408)(277, 480)(309, 494)(312, 424)(323, 427)(331, 423)(370, 409)(371,
406)
m: (37, 50)(45, 59)(53, 65)(55, 63)(61, 73)(67, 75)(69, 77)(81, 89)(296,
298)(356, 359)(402, 467)(492, 507)
n1: (216, 228)(224, 236)(230, 242)(232, 240)(238, 250)(244, 247)(246, 252)(254,
255)(265, 280)(339, 344)(394, 413)(432, 436)
a1: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
140, 142)(128, 154, 132, 134)(136, 150, 156, 170)(144, 158, 148, 162)(152, 186,
172, 166)(160, 178, 164, 174)(168, 182, 188, 202)(176, 190, 180, 194)(184, 206,
204, 210)(192, 198, 196, 218)(200, 222, 220, 226)(208, 214, 212, 234)(216, 238,
236, 242)(224, 230, 228, 250)(232, 252, 240, 246)(244, 255, 247, 254)(245,
253)(251, 256)(260, 345, 285, 325)(261, 338, 284, 328)(262, 351, 283, 330)(263,
334, 282, 322)(264, 329, 281, 326)(265, 344, 280, 339)(286, 343, 289, 335)(291,
355, 294, 360)(293, 357, 302, 361)(295, 389)(297, 353, 303, 366)(305, 451)(307,
373, 310, 374)(308, 369, 313, 375)(315, 377, 317, 378)(319, 496)(362, 435)(365,
431)(380, 433)(384, 400, 439, 468)(386, 421, 415, 407)(387, 410, 505, 463)(388,
482, 419, 441)(394, 436, 413, 432)(401, 462, 476, 437)(416, 457, 501, 465)(420,
461, 469, 477)(422, 456, 481, 449)(428, 488, 466, 485)(438, 452, 504, 479)(453,
500, 464, 454)(473, 512)(478, 503, 486, 489)(510, 511)
b1: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
96, 114)(100, 110, 108, 102)(104, 112)(116, 124)(260, 345, 285, 325)(261,
481)(284, 422)(286, 343, 289, 335)(293, 357, 302, 361)(308, 369, 313, 375)(319,
496)(328, 449)(338, 456)(380, 433)(387, 410, 505, 463)(388, 482, 419, 441)(428,
488, 466, 485)(453, 500, 464, 454)(473, 512)(510, 511)
c1: (167, 179)(175, 187)(181, 193)(183, 191)(189, 201)(195, 203)(197, 205)(209,
217)(292, 304)(354, 358)(395, 429)(497, 498)
d1: (120, 132)(128, 140)(134, 146)(136, 144)(142, 154)(148, 156)(150, 158)(162,
170)(262, 283)(330, 351)(401, 476)(437, 462)
e1: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 64, 78)(68, 82, 76, 90)(86, 94)(98, 106)(260, 466)(285, 428)(286,
343, 289, 335)(293, 357, 302, 361)(319, 496)(325, 485)(345, 488)(380, 433)(387,
410, 505, 463)(453, 500, 464, 454)(473, 512)(510, 511)
f1: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
128, 154)(132, 134, 140, 142)(136, 144)(148, 156)(260, 345, 285, 325)(261, 338,
284, 328)(262, 437)(283, 462)(286, 343, 289, 335)(293, 357, 302, 361)(297, 353,
303, 366)(308, 369, 313, 375)(319, 496)(330, 401)(351, 476)(380, 433)(387, 410,
505, 463)(388, 482, 419, 441)(416, 457, 501, 465)(422, 456, 481, 449)(428, 488,
466, 485)(453, 500, 464, 454)(473, 512)(510, 511)
g1: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
140, 142)(128, 154, 132, 134)(136, 150, 156, 170)(144, 158, 148, 162)(152, 186,
172, 166)(160, 178, 164, 174)(168, 182, 188, 202)(176, 190, 180, 194)(184, 206,
204, 210)(192, 198, 196, 218)(200, 222, 220, 226)(208, 214, 212, 234)(216, 238,
236, 242)(224, 230, 228, 250)(229, 241)(231, 245, 243, 253)(232, 255, 247,
246)(237, 249)(239, 251, 248, 256)(240, 254, 244, 252)(260, 345, 285, 325)(261,
338, 284, 328)(262, 351, 283, 330)(263, 334, 282, 322)(264, 329, 281, 326)(265,
344, 280, 339)(266, 493)(279, 508)(286, 343, 289, 335)(291, 355, 294, 360)(293,
357, 302, 361)(295, 362, 305, 365)(297, 353, 303, 366)(307, 373, 310, 374)(308,
369, 313, 375)(315, 377, 317, 378)(319, 496)(342, 446)(349, 399)(380, 433)(384,
400, 439, 468)(386, 421, 415, 407)(387, 410, 505, 463)(388, 482, 419, 441)(389,
431, 451, 435)(394, 436, 413, 432)(401, 462, 476, 437)(416, 457, 501, 465)(420,
461, 469, 477)(422, 456, 481, 449)(428, 488, 466, 485)(438, 452, 504, 479)(453,
500, 464, 454)(473, 512)(478, 503, 486, 489)(510, 511)
h1: (199, 211)(207, 219)(213, 225)(215, 223)(221, 233)(227, 235)(229, 237)(241,
249)(318, 320)(381, 382)(385, 444)(418, 447)
m1: (69, 81)(71, 85)(77, 89)(79, 93)(83, 97)(91, 105)(101, 109)(113, 121)(271,
397)(274, 411)(314, 458)(316, 392)(332, 440)(336, 403)(376, 414)(379, 425)
n2: (199, 211)(207, 219)(215, 237)(223, 229)(227, 249)(235, 241)(245, 251)(253,
256)(266, 446)(279, 399)(318, 385)(320, 444)(342, 508)(349, 493)(381, 447)(382,
418)
a2: (135, 147)(143, 155)(149, 161)(151, 159)(157, 169)(163, 171)(165, 173)(177,
185)(309, 312)(370, 371)(406, 409)(424, 494)
b2: (53, 65)(55, 69, 67, 81)(61, 73)(63, 77, 75, 89)(71, 93, 79, 85)(83, 105,
91, 97)(101, 109)(113, 121)(271, 332, 274, 336)(296, 492)(298, 507)(314,
458)(316, 392)(356, 402)(359, 467)(376, 414)(379, 425)(397, 403, 411, 440)
c2: (2, 4)(3, 9)(5, 14)(6, 17)(7, 19)(8, 21, 16, 32)(11, 25)(12, 22)(13, 28, 24,
42)(15, 30)(18, 35, 29, 48)(20, 38, 27, 46)(23, 33)(26, 44, 40, 58)(31, 51, 41,
60)(34, 54, 43, 62)(36, 52)(37, 56)(45, 64)(47, 66, 57, 74)(50, 68)(53, 70)(55,
72)(59, 76)(61, 78)(63, 80)(65, 82)(67, 84)(69, 86)(71, 88)(73, 90)(75, 92)(77,
94)(79, 96)(81, 98)(83, 100)(85, 102)(87, 104, 99, 116)(89, 106)(91, 108)(93,
110)(95, 112, 107, 124)(97, 114)(101, 118, 113, 130)(103, 132, 111, 140)(105,
122)(109, 126, 121, 138)(115, 120, 123, 128)(117, 146, 125, 154)(119, 144, 131,
156)(127, 136, 139, 148)(129, 134, 137, 142)(133, 158, 145, 170)(135, 152, 155,
172)(141, 150, 153, 162)(143, 160, 147, 164)(149, 166, 169, 186)(151, 180, 159,
188)(157, 174, 161, 178)(163, 168, 171, 176)(165, 194, 173, 202)(167, 192)(175,
184)(177, 182, 185, 190)(179, 204)(181, 206)(183, 200, 195, 212)(187, 196)(189,
198)(191, 208, 203, 220)(193, 218)(197, 214, 209, 226)(199, 228, 207, 236)(201,
210)(205, 222, 217, 234)(211, 216, 219, 224)(213, 242, 221, 250)(215, 247)(223,
244)(225, 230, 233, 238)(227, 240)(229, 255)(232, 235)(237, 254)(239, 243)(241,
252)(246, 249)(251, 253)(257, 290)(258, 367)(259, 380)(260, 296)(261, 316)(262,
300)(263, 312, 282, 309)(264, 292)(265, 318)(266, 295)(267, 310, 278, 307)(268,
291)(269, 317, 276, 315)(270, 303, 275, 297)(271, 308)(272, 293)(273, 302)(274,
313)(277, 294)(279, 305)(280, 320)(281, 304)(283, 301)(284, 314)(285, 298)(286,
311, 289, 306)(287, 299)(288, 510)(319, 321)(322, 370, 334, 371)(323, 355)(324,
357)(325, 356)(326, 354)(327, 377, 340, 378)(328, 376)(329, 358)(330, 363)(331,
360)(332, 369)(333, 374, 346, 373)(335, 368, 343, 372)(336, 375)(337, 512)(338,
379)(339, 381)(341, 366, 348, 353)(342, 362)(344, 382)(345, 359)(347, 361)(349,
365)(350, 352)(351, 364)(383, 459)(384, 499, 439, 404)(385, 432)(386, 487, 415,
391)(387, 484, 505, 474)(388, 397)(389, 446)(390, 463, 491, 410)(392, 422)(393,
483)(394, 447)(395, 420)(396, 400, 430, 468)(398, 401)(399, 451)(402, 466)(403,
482)(405, 509)(406, 438, 409, 504)(407, 490, 421, 450)(408, 489)(411, 419)(412,
464)(413, 418)(414, 456)(416, 455, 501, 448)(417, 511)(423, 478)(424, 452, 494,
479)(425, 449)(426, 453)(427, 486)(428, 467)(429, 469)(431, 493)(433, 506)(434,
500)(435, 508)(436, 444)(437, 470)(440, 441)(442, 462)(443, 465, 495, 457)(445,
496)(454, 475)(458, 481)(460, 476)(461, 498)(471, 473)(472, 502)(477, 497)(480,
503)(485, 507)(488, 492)
d2: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
140, 142)(128, 154, 132, 134)(136, 150, 156, 170)(144, 158, 148, 162)(152, 186,
172, 166)(160, 178, 164, 174)(168, 182, 188, 202)(176, 190, 180, 194)(184, 206,
204, 210)(192, 198, 196, 218)(200, 234, 208, 226)(212, 222, 220, 214)(216,
224)(228, 236)(260, 345, 285, 325)(261, 338, 284, 328)(262, 351, 283, 330)(263,
334, 282, 322)(264, 329, 281, 326)(286, 343, 289, 335)(291, 355, 294, 360)(293,
357, 302, 361)(297, 353, 303, 366)(307, 386)(308, 369, 313, 375)(310, 415)(315,
377, 317, 378)(319, 496)(373, 407)(374, 421)(380, 433)(384, 400, 439, 468)(387,
410, 505, 463)(388, 482, 419, 441)(401, 462, 476, 437)(416, 457, 501, 465)(420,
461, 469, 477)(422, 456, 481, 449)(428, 488, 466, 485)(438, 452, 504, 479)(453,
500, 464, 454)(473, 512)(478, 503, 486, 489)(510, 511)
e2: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
140, 142)(128, 154, 132, 134)(136, 162, 144, 170)(148, 150, 156, 158)(152,
160)(164, 172)(260, 345, 285, 325)(261, 338, 284, 328)(262, 351, 283, 330)(286,
343, 289, 335)(293, 357, 302, 361)(297, 353, 303, 366)(308, 369, 313, 375)(315,
384)(317, 439)(319, 496)(377, 468)(378, 400)(380, 433)(387, 410, 505, 463)(388,
482, 419, 441)(401, 462, 476, 437)(416, 457, 501, 465)(422, 456, 481, 449)(428,
488, 466, 485)(453, 500, 464, 454)(473, 512)(510, 511)
f2: (151, 163)(159, 171)(165, 177)(167, 175)(173, 185)(179, 187)(181, 189)(193,
201)(268, 277)(323, 331)(408, 480)(423, 427)
g2: (149, 161)(151, 165, 163, 177)(157, 169)(159, 173, 171, 185)(167, 189, 175,
181)(179, 201, 187, 193)(197, 205)(209, 217)(268, 323, 277, 331)(292, 497)(304,
498)(309, 494)(312, 424)(354, 395)(358, 429)(370, 409)(371, 406)(408, 423, 480,
427)
h2: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
140, 142)(128, 154, 132, 134)(136, 150, 156, 170)(144, 158, 148, 162)(152, 186,
172, 166)(160, 178, 164, 174)(168, 182, 188, 202)(176, 190, 180, 194)(184, 206,
192, 198)(196, 218, 204, 210)(214, 222)(226, 234)(260, 345, 285, 325)(261, 338,
284, 328)(262, 351, 283, 330)(263, 334, 282, 322)(264, 477)(281, 461)(286, 343,
289, 335)(291, 355, 294, 360)(293, 357, 302, 361)(297, 353, 303, 366)(308, 369,
313, 375)(315, 377, 317, 378)(319, 496)(326, 420)(329, 469)(380, 433)(384, 400,
439, 468)(387, 410, 505, 463)(388, 482, 419, 441)(401, 462, 476, 437)(416, 457,
501, 465)(422, 456, 481, 449)(428, 488, 466, 485)(438, 452, 504, 479)(453, 500,
464, 454)(473, 512)(478, 503, 486, 489)(510, 511)
m2: (85, 97)(87, 101)(93, 105)(95, 109)(99, 113)(107, 121)(117, 125)(129,
137)(270, 448)(275, 455)(314, 425)(316, 414)(341, 443)(348, 495)(376, 458)(379,
392)
n3: (215, 227)(223, 235)(229, 241)(231, 239)(237, 249)(243, 248)(245, 251)(253,
256)(266, 279)(342, 349)(399, 446)(493, 508)
a3: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 112, 138)(116, 118, 124, 126)(120,
128)(132, 140)(260, 345, 285, 325)(261, 338, 284, 328)(286, 343, 289, 335)(293,
357, 302, 361)(297, 416)(303, 501)(308, 369, 313, 375)(319, 496)(353, 465)(366,
457)(380, 433)(387, 410, 505, 463)(388, 482, 419, 441)(422, 456, 481, 449)(428,
488, 466, 485)(453, 500, 464, 454)(473, 512)(510, 511)
b3: (20, 31)(27, 41)(34, 47)(37, 45)(43, 57)(50, 59)(53, 61)(65, 73)(272,
273)(324, 347)(412, 426)(434, 475)
c3: (133, 145)(135, 149)(141, 153)(143, 157)(147, 161)(155, 169)(165, 173)(177,
185)(269, 430)(276, 396)(309, 409)(312, 406)(327, 404)(340, 499)(370, 424)(371,
494)
d3: (9, 19)(14, 22)(17, 30)(25, 33)(35, 44)(36, 49)(39, 52)(48, 58)(257,
459)(258, 405)(287, 393)(319, 511)(350, 472)(380, 496)(433, 512)(473, 510)
e3: (197, 209)(199, 225, 211, 213)(205, 217)(207, 233, 219, 221)(215, 229, 223,
237)(227, 241, 235, 249)(245, 251)(253, 256)(266, 446)(267, 450)(278, 490)(279,
399)(318, 381, 320, 382)(333, 487)(342, 508)(346, 391)(349, 493)(385, 418, 444,
447)
f3: (184, 196)(192, 204)(198, 210)(200, 208)(206, 218)(212, 220)(214, 222)(226,
234)(264, 281)(326, 329)(420, 469)(461, 477)
g3: (8, 16)(13, 24)(18, 29)(20, 27)(26, 40)(31, 41)(34, 43)(47, 57)(306,
311)(368, 372)(390, 491)(474, 484)
h3: (3, 7)(5, 12)(6, 15)(11, 23)(18, 26)(29, 40)(36, 39)(49, 52)(259, 445)(288,
471)(290, 383)(299, 483)(321, 417)(337, 506)(352, 502)(367, 509)
m3: (9, 17)(14, 25)(19, 30)(21, 28)(22, 33)(32, 42)(35, 44)(48, 58)(319,
512)(380, 510)(433, 511)(473, 496)
n4: (1, 2)(4, 10)(9, 14)(17, 25)(19, 22)(30, 33)(36, 49)(39, 52)(257, 287)(258,
350)(393, 459)(405, 472)
a4: (168, 180)(176, 188)(182, 194)(184, 192)(190, 202)(196, 204)(198, 206)(210,
218)(291, 294)(355, 360)(478, 486)(489, 503)
b4: (38, 51)(46, 60)(54, 66)(56, 64)(62, 74)(68, 76)(70, 78)(82, 90)(293,
302)(357, 361)(453, 464)(454, 500)
c4: (119, 131)(127, 139)(133, 145)(135, 143)(141, 153)(147, 155)(149, 157)(161,
169)(269, 276)(327, 340)(396, 430)(404, 499)
d4: (181, 193)(183, 197)(189, 201)(191, 205)(195, 209)(203, 217)(213, 221)(225,
233)(267, 391)(278, 487)(292, 429)(304, 395)(333, 450)(346, 490)(354, 497)(358,
498)
e4: (103, 115)(111, 123)(119, 141)(127, 133)(131, 153)(139, 145)(149, 157)(161,
169)(269, 404)(276, 499)(300, 398)(301, 460)(327, 396)(340, 430)(363, 442)(364,
470)
f4: (72, 84)(80, 92)(86, 98)(88, 96)(94, 106)(100, 108)(102, 110)(114, 122)(308,
313)(369, 375)(388, 419)(441, 482)
g4: (231, 243)(232, 244)(239, 248)(240, 247)(245, 253)(246, 254)(251, 256)(252,
255)(295, 305)(362, 365)(389, 451)(431, 435)
h4: (21, 32)(28, 42)(35, 48)(38, 46)(44, 58)(51, 60)(54, 62)(66, 74)(286,
289)(335, 343)(387, 505)(410, 463)
m4: (103, 115)(111, 123)(117, 129)(119, 127)(125, 137)(131, 139)(133, 141)(145,
153)(300, 301)(363, 364)(398, 460)(442, 470)
n5: (1, 3)(2, 6)(4, 5)(7, 36, 15, 49)(8, 30, 29, 17, 16, 19, 18, 9)(10, 11)(12,
39, 23, 52)(13, 33, 40, 25, 24, 22, 26, 14)(20, 35, 34, 28, 27, 44, 43, 21)(31,
48, 47, 42, 41, 58, 57, 32)(37, 38)(45, 46)(50, 51)(53, 62, 61, 54)(55, 56, 67,
68)(59, 60)(63, 64, 75, 76)(65, 74, 73, 66)(69, 70, 81, 82)(71, 72, 91, 92)(77,
78, 89, 90)(79, 80, 83, 84)(85, 86, 105, 106)(87, 88, 107, 108)(93, 94, 97,
98)(95, 96, 99, 100)(101, 102, 121, 122)(103, 104, 111, 112)(109, 110, 113,
114)(115, 116, 123, 124)(117, 118, 125, 126)(119, 120, 131, 132)(127, 128, 139,
140)(129, 130, 137, 138)(133, 134, 145, 146)(135, 136, 155, 156)(141, 142, 153,
154)(143, 144, 147, 148)(149, 150, 169, 170)(151, 152, 159, 160)(157, 158, 161,
162)(163, 164, 171, 172)(165, 166, 173, 174)(167, 168, 179, 180)(175, 176, 187,
188)(177, 178, 185, 186)(181, 182, 193, 194)(183, 184, 203, 204)(189, 190, 201,
202)(191, 192, 195, 196)(197, 198, 217, 218)(199, 200, 207, 208)(205, 206, 209,
210)(211, 212, 219, 220)(213, 214, 221, 222)(215, 216)(223, 224)(225, 226, 233,
234)(227, 228)(229, 230)(231, 232)(235, 236)(237, 238)(239, 240)(241, 242)(243,
244)(245, 246)(247, 248)(249, 250)(251, 252)(253, 254)(255, 256)(257, 259, 459,
506)(258, 337, 405, 471)(260, 274, 285, 271)(261, 275, 284, 270)(262, 276, 283,
269)(263, 268)(264, 278, 281, 267)(265, 266)(272, 505, 434, 289)(273, 387, 475,
286)(277, 282)(279, 280)(287, 288, 393, 417)(290, 299)(291, 292, 294, 304)(293,
296)(297, 300)(298, 302)(301, 303)(306, 319, 368, 510, 311, 512, 372, 380)(307,
318)(308, 314, 313, 316)(309, 317, 312, 315)(310, 320)(321, 472, 445, 350)(322,
323)(324, 410, 426, 335)(325, 332, 345, 336)(326, 333, 329, 346)(327, 351, 340,
330)(328, 341, 338, 348)(331, 334)(339, 342)(343, 347, 463, 412)(344, 349)(353,
364)(354, 355, 358, 360)(356, 357)(359, 361)(362, 365)(363, 366)(369, 379, 375,
376)(370, 377, 371, 378)(373, 382)(374, 381)(383, 509)(384, 406, 439, 409)(385,
407)(386, 447)(388, 425, 419, 414)(389, 431)(390, 496, 474, 433, 491, 473, 484,
511)(391, 477, 487, 461)(392, 482, 458, 441)(394, 399)(395, 486, 429, 478)(396,
401, 430, 476)(397, 488, 411, 485)(398, 457)(400, 494, 468, 424)(402, 500)(403,
466, 440, 428)(404, 462, 499, 437)(408, 504)(413, 446)(415, 418)(416, 470)(420,
450, 469, 490)(421, 444)(422, 455, 481, 448)(423, 452)(427, 479)(432, 508)(435,
451)(436, 493)(438, 480)(442, 501)(443, 449, 495, 456)(453, 507)(454, 467)(460,
465)(464, 492)(483, 502)(489, 497, 503, 498)
a5: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
140, 142)(128, 154, 132, 134)(136, 150, 156, 170)(144, 158, 148, 162)(152, 186,
172, 166)(160, 178, 164, 174)(168, 182, 188, 202)(176, 190, 180, 194)(184, 206,
204, 210)(192, 198, 196, 218)(200, 222, 220, 226)(208, 214, 212, 234)(216, 238,
224, 230)(228, 250, 236, 242)(246, 252)(254, 255)(260, 345, 285, 325)(261, 338,
284, 328)(262, 351, 283, 330)(263, 334, 282, 322)(264, 329, 281, 326)(265,
413)(280, 394)(286, 343, 289, 335)(291, 355, 294, 360)(293, 357, 302, 361)(297,
353, 303, 366)(307, 373, 310, 374)(308, 369, 313, 375)(315, 377, 317, 378)(319,
496)(339, 432)(344, 436)(380, 433)(384, 400, 439, 468)(386, 421, 415, 407)(387,
410, 505, 463)(388, 482, 419, 441)(401, 462, 476, 437)(416, 457, 501, 465)(420,
461, 469, 477)(422, 456, 481, 449)(428, 488, 466, 485)(438, 452, 504, 479)(453,
500, 464, 454)(473, 512)(478, 503, 486, 489)(510, 511)
b5: (101, 113)(103, 117, 115, 129)(109, 121)(111, 125, 123, 137)(119, 141, 127,
133)(131, 153, 139, 145)(149, 157)(161, 169)(269, 404)(270, 495)(275, 443)(276,
499)(300, 363, 301, 364)(327, 396)(340, 430)(341, 448)(348, 455)(398, 470, 460,
442)
c5: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 46, 74)(51, 54, 60,
62)(56, 64)(68, 76)(286, 343, 289, 335)(293, 454)(302, 500)(319, 496)(357,
464)(361, 453)(380, 433)(387, 410, 505, 463)(473, 512)(510, 511)
d5: (71, 83)(79, 91)(85, 97)(87, 95)(93, 105)(99, 107)(101, 109)(113, 121)(314,
316)(376, 379)(392, 458)(414, 425)
e5: (55, 67)(63, 75)(69, 81)(71, 79)(77, 89)(83, 91)(85, 93)(97, 105)(271,
274)(332, 336)(397, 411)(403, 440)
f5: (136, 148)(144, 156)(150, 162)(152, 160)(158, 170)(164, 172)(166, 174)(178,
186)(315, 317)(377, 378)(384, 439)(400, 468)
g5: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
140, 142)(128, 154, 132, 134)(136, 150, 156, 170)(144, 158, 148, 162)(152, 186,
160, 178)(164, 174, 172, 166)(168, 176)(180, 188)(260, 345, 285, 325)(261, 338,
284, 328)(262, 351, 283, 330)(263, 438)(282, 504)(286, 343, 289, 335)(293, 357,
302, 361)(297, 353, 303, 366)(308, 369, 313, 375)(315, 377, 317, 378)(319,
496)(322, 452)(334, 479)(380, 433)(384, 400, 439, 468)(387, 410, 505, 463)(388,
482, 419, 441)(401, 462, 476, 437)(416, 457, 501, 465)(422, 456, 481, 449)(428,
488, 466, 485)(453, 500, 464, 454)(473, 512)(510, 511)
h5: (200, 212)(208, 220)(214, 226)(216, 224)(222, 234)(228, 236)(230, 238)(242,
250)(307, 310)(373, 374)(386, 415)(407, 421)
m5: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 94, 92, 98)(80, 86, 84, 106)(88, 122,
108, 102)(96, 114, 100, 110)(104, 130, 124, 126)(112, 138, 116, 118)(120, 146,
140, 142)(128, 154, 132, 134)(136, 150, 156, 170)(144, 158, 148, 162)(152, 186,
172, 166)(160, 178, 164, 174)(168, 182, 176, 190)(180, 194, 188, 202)(198,
206)(210, 218)(260, 345, 285, 325)(261, 338, 284, 328)(262, 351, 283, 330)(263,
334, 282, 322)(286, 343, 289, 335)(291, 489)(293, 357, 302, 361)(294, 503)(297,
353, 303, 366)(308, 369, 313, 375)(315, 377, 317, 378)(319, 496)(355, 486)(360,
478)(380, 433)(384, 400, 439, 468)(387, 410, 505, 463)(388, 482, 419, 441)(401,
462, 476, 437)(416, 457, 501, 465)(422, 456, 481, 449)(428, 488, 466, 485)(438,
452, 504, 479)(453, 500, 464, 454)(473, 512)(510, 511)
n6: (7, 15)(8, 29, 16, 18)(12, 23)(13, 40, 24, 26)(20, 34, 27, 43)(31, 47, 41,
57)(53, 61)(65, 73)(259, 506)(272, 434)(273, 475)(288, 417)(306, 368, 311,
372)(321, 445)(324, 426)(337, 471)(347, 412)(390, 474, 491, 484)
a6: (56, 68)(64, 76)(70, 82)(72, 80)(78, 90)(84, 92)(86, 94)(98, 106)(260,
285)(325, 345)(428, 466)(485, 488)
b6: (183, 195)(191, 203)(197, 209)(199, 207)(205, 217)(211, 219)(213, 221)(225,
233)(267, 278)(333, 346)(391, 487)(450, 490)
c6: (104, 116)(112, 124)(118, 130)(120, 128)(126, 138)(132, 140)(134, 142)(146,
154)(297, 303)(353, 366)(416, 501)(457, 465)
d6: (19, 30)(21, 48, 32, 35)(22, 33)(28, 58, 42, 44)(38, 66, 60, 62)(46, 74, 51,
54)(56, 70, 76, 90)(64, 78, 68, 82)(72, 106, 80, 98)(84, 94, 92, 86)(88,
96)(100, 108)(260, 345, 285, 325)(286, 343, 289, 335)(293, 357, 302, 361)(308,
441)(313, 482)(319, 496)(369, 419)(375, 388)(380, 433)(387, 410, 505, 463)(428,
488, 466, 485)(453, 500, 464, 454)(473, 512)(510, 511)
C4[ 512, 49 ]
512
-1 257 290 459 383
-2 287 290 393 383
-3 506 299 509 259
-4 299 257 459 483
-5 506 290 259 502
-6 288 299 509 417
-7 367 445 337 483
-8 288 491 306 471
-9 287 433 380 405
-10 287 299 393 483
-11 288 290 502 417
-12 352 445 337 383
-13 445 259 491 306
-14 257 433 380 472
-15 321 367 471 483
-16 288 311 390 471
-17 287 510 511 405
-18 474 337 372 417
-19 496 258 512 393
-20 484 311 426 273
-21 286 473 410 510
-22 496 512 459 350
-23 352 321 383 471
-24 311 390 445 259
-25 257 510 511 472
-26 506 474 321 372
-27 474 426 273 306
-28 286 496 410 380
-29 484 368 337 417
-30 319 473 258 393
-31 484 311 412 272
-32 473 463 289 510
-33 319 473 459 350
-34 475 324 390 372
-35 387 335 511 512
-36 367 502 350 405
-37 298 507 434 272
-38 453 289 302 505
-39 352 509 350 405
-40 484 506 321 368
-41 474 412 272 306
-42 463 496 289 380
-43 475 324 368 491
-44 319 387 433 335
-45 298 507 475 273
-46 286 387 453 302
-47 390 434 347 372
-48 343 511 512 505
-49 367 258 502 472
-50 434 272 492 296
-51 464 289 293 505
-52 352 509 258 472
-53 356 324 412 467
-54 463 454 335 357
-55 411 402 274 296
-56 485 500 293 285
-57 368 434 347 491
-58 319 343 433 505
-59 475 492 273 296
-60 286 387 464 293
-61 356 467 347 426
-62 343 410 454 357
-63 298 411 467 274
-64 485 454 302 285
-65 324 412 402 359
-66 463 335 500 361
-67 397 402 271 296
-68 488 500 260 293
-69 440 356 336 492
-70 464 357 325 428
-71 314 271 403 425
-72 419 466 313 260
-73 347 402 359 426
-74 343 410 500 361
-75 298 397 467 271
-76 454 488 302 260
-77 440 507 336 359
-78 453 325 361 428
-79 440 314 425 274
-80 419 313 285 428
-81 332 356 403 492
-82 464 345 466 357
-83 271 403 414 316
-84 308 388 466 260
-85 397 379 336 458
-86 375 441 488 325
-87 275 443 392 316
-88 308 284 449 482
-89 507 332 359 403
-90 453 345 466 361
-91 440 414 316 274
-92 308 388 285 428
-93 332 411 379 458
-94 375 441 485 345
-95 275 443 314 458
-96 441 313 284 449
-97 397 376 336 392
-98 488 325 369 482
-99 495 270 392 316
-100 308 456 261 482
-101 341 455 379 414
-102 375 388 338 481
-103 300 270 448 460
-104 297 465 422 261
-105 332 376 411 392
-106 485 345 369 482
-107 495 270 314 458
-108 441 313 456 261
-109 341 376 455 425
-110 419 369 338 481
-111 275 300 455 460
-112 297 465 481 284
-113 379 348 414 448
-114 375 388 422 328
-115 398 301 270 448
-116 422 303 457 261
-117 341 363 495 442
-118 366 456 501 338
-119 396 276 301 470
-120 401 303 283 416
-121 376 348 425 448
-122 419 422 369 328
-123 275 398 301 455
-124 303 457 481 284
-125 363 442 443 348
-126 366 501 328 449
-127 396 276 442 300
-128 297 401 501 283
-129 341 495 364 470
-130 353 456 338 416
-131 430 301 269 470
-132 476 303 262 416
-133 363 398 499 327
-134 366 457 437 351
-135 312 269 424 404
-136 462 400 315 262
-137 364 443 348 470
-138 353 328 416 449
-139 430 442 300 269
-140 297 476 501 262
-141 364 499 327 460
-142 353 465 437 351
-143 276 312 499 424
-144 400 315 283 437
-145 363 398 404 340
-146 330 462 366 457
-147 309 269 404 494
-148 462 468 262 317
-149 430 370 327 406
-150 377 476 351 439
-151 309 277 409 423
-152 452 282 317 384
-153 364 404 460 340
-154 330 462 353 465
-155 276 309 499 494
-156 468 283 437 317
-157 396 370 340 406
-158 330 377 401 439
-159 277 312 423 406
-160 452 282 315 439
-161 430 409 327 371
-162 476 378 351 384
-163 309 409 268 427
-164 479 317 263 384
-165 331 370 480 494
-166 377 334 468 438
-167 408 268 304 395
-168 486 291 504 263
-169 396 409 371 340
-170 330 378 401 384
-171 268 312 427 406
-172 479 315 263 439
-173 331 424 480 371
-174 334 378 400 438
-175 277 304 480 395
-176 486 291 282 438
-177 408 323 370 494
-178 322 377 468 504
-179 429 408 268 292
-180 478 294 504 263
-181 331 354 498 427
-182 355 334 489 479
-183 497 278 292 490
-184 420 281 294 503
-185 408 323 424 371
-186 322 378 400 504
-187 429 277 292 480
-188 478 282 294 438
-189 354 498 323 423
-190 452 322 355 489
-191 278 498 490 304
-192 420 291 489 281
-193 331 497 358 427
-194 334 479 360 503
-195 497 267 292 450
-196 264 469 294 503
-197 429 354 487 346
-198 355 478 326 461
-199 267 444 391 318
-200 264 421 477 307
-201 497 323 423 358
-202 452 322 360 503
-203 267 498 304 450
-204 264 291 489 469
-205 487 346 358 395
-206 486 326 360 461
-207 278 487 444 318
-208 421 281 307 461
-209 429 354 333 391
-210 355 477 478 329
-211 385 320 267 391
-212 264 407 310 477
-213 418 346 382 450
-214 326 469 415 373
-215 320 508 279 447
-216 386 310 432 280
-217 333 358 391 395
-218 486 477 360 329
-219 385 320 278 487
-220 407 310 281 461
-221 418 333 490 382
-222 420 415 329 373
-223 418 508 279 318
-224 432 280 415 307
-225 346 381 447 450
-226 374 386 326 469
-227 320 266 447 493
-228 265 386 310 436
-229 385 342 399 382
-230 407 339 394 373
-231 266 389 446 295
-232 265 431 413 295
-233 333 490 381 447
-234 374 386 420 329
-235 418 266 493 318
-236 265 436 415 307
-237 342 399 444 381
-238 374 421 339 394
-239 399 279 389 295
-240 431 280 295 394
-241 385 446 349 382
-242 407 344 413 373
-243 451 266 446 305
-244 265 413 435 305
-245 342 431 493 362
-246 365 389 436 339
-247 280 435 305 394
-248 451 399 279 305
-249 444 446 381 349
-250 374 344 421 413
-251 431 508 349 362
-252 365 344 432 389
-253 342 365 435 493
-254 451 436 339 362
-255 451 344 432 362
-256 365 508 435 349
-257 1 14 25 4
-258 49 19 30 52
-259 13 24 3 5
-260 68 72 84 76
-261 100 104 116 108
-262 132 136 148 140
-263 168 180 172 164
-264 200 212 204 196
-265 232 244 236 228
-266 231 243 235 227
-267 199 211 203 195
-268 167 179 171 163
-269 135 147 139 131
-270 99 103 115 107
-271 67 71 83 75
-272 37 50 41 31
-273 45 59 27 20
-274 55 79 91 63
-275 111 123 95 87
-276 143 155 127 119
-277 187 159 151 175
-278 191 183 207 219
-279 223 215 248 239
-280 224 247 216 240
-281 220 192 184 208
-282 176 188 160 152
-283 144 156 128 120
-284 88 112 124 96
-285 56 80 92 64
-286 46 60 28 21
-287 2 17 9 10
-288 11 16 6 8
-289 38 51 42 32
-290 11 1 2 5
-291 176 168 192 204
-292 187 179 183 195
-293 56 68 60 51
-294 188 180 184 196
-295 231 232 239 240
-296 55 67 59 50
-297 112 104 128 140
-298 45 37 63 75
-299 3 4 6 10
-300 111 103 127 139
-301 123 115 119 131
-302 46 38 64 76
-303 132 124 116 120
-304 167 191 203 175
-305 243 244 247 248
-306 13 27 8 41
-307 200 224 236 208
-308 88 100 92 84
-309 155 147 151 163
-310 220 212 216 228
-311 24 16 20 31
-312 143 135 159 171
-313 80 72 96 108
-314 79 71 95 107
-315 144 136 160 172
-316 99 91 83 87
-317 156 148 152 164
-318 199 223 235 207
-319 33 44 58 30
-320 211 215 227 219
-321 23 15 26 40
-322 178 190 202 186
-323 177 189 201 185
-324 34 53 43 65
-325 78 70 86 98
-326 198 214 226 206
-327 133 149 161 141
-328 122 114 126 138
-329 210 222 234 218
-330 154 146 158 170
-331 165 181 193 173
-332 89 81 93 105
-333 209 221 233 217
-334 166 182 194 174
-335 44 66 35 54
-336 77 69 85 97
-337 12 7 18 29
-338 110 102 118 130
-339 254 246 238 230
-340 145 157 169 153
-341 101 117 129 109
-342 253 245 237 229
-343 58 48 62 74
-344 242 255 250 252
-345 90 82 94 106
-346 213 225 205 197
-347 57 47 61 73
-348 121 113 125 137
-349 256 249 251 241
-350 22 33 36 39
-351 134 150 162 142
-352 12 23 39 52
-353 154 138 130 142
-354 209 189 181 197
-355 198 210 190 182
-356 69 81 61 53
-357 70 82 62 54
-358 201 193 205 217
-359 77 89 73 65
-360 202 194 206 218
-361 66 78 90 74
-362 254 255 245 251
-363 133 145 125 117
-364 137 129 141 153
-365 253 256 246 252
-366 134 146 126 118
-367 36 15 49 7
-368 57 29 40 43
-369 110 122 106 98
-370 165 177 157 149
-371 169 161 173 185
-372 34 47 26 18
-373 242 222 214 230
-374 234 226 238 250
-375 102 114 94 86
-376 121 105 97 109
-377 166 178 158 150
-378 170 162 174 186
-379 101 113 93 85
-380 14 28 9 42
-381 233 225 237 249
-382 221 213 229 241
-383 1 12 23 2
-384 170 162 152 164
-385 211 229 219 241
-386 234 226 216 228
-387 44 35 46 60
-388 102 92 114 84
-389 231 246 239 252
-390 34 24 47 16
-391 209 199 211 217
-392 99 105 97 87
-393 2 19 30 10
-394 247 238 240 230
-395 167 205 217 175
-396 157 169 127 119
-397 67 85 75 97
-398 133 123 145 115
-399 237 248 239 229
-400 144 136 174 186
-401 158 170 128 120
-402 55 67 73 65
-403 89 81 71 83
-404 145 135 147 153
-405 36 17 39 9
-406 157 159 149 171
-407 220 242 212 230
-408 177 167 179 185
-409 169 161 151 163
-410 28 62 74 21
-411 55 93 105 63
-412 41 31 53 65
-413 242 232 244 250
-414 101 91 113 83
-415 222 224 214 236
-416 132 138 130 120
-417 11 6 18 29
-418 221 223 213 235
-419 110 122 80 72
-420 222 234 192 184
-421 200 238 250 208
-422 122 114 104 116
-423 189 201 159 151
-424 143 135 173 185
-425 121 79 71 109
-426 27 61 73 20
-427 181 171 193 163
-428 78 80 70 92
-429 187 209 179 197
-430 149 139 161 131
-431 232 245 240 251
-432 255 224 216 252
-433 44 14 58 9
-434 57 47 37 50
-435 253 244 256 247
-436 254 246 236 228
-437 144 134 156 142
-438 176 166 188 174
-439 158 160 150 172
-440 77 79 69 91
-441 94 96 86 108
-442 125 127 117 139
-443 125 137 95 87
-444 199 237 249 207
-445 12 13 24 7
-446 231 243 249 241
-447 233 225 215 227
-448 121 113 103 115
-449 88 126 138 96
-450 213 203 225 195
-451 243 254 255 248
-452 190 202 160 152
-453 78 46 90 38
-454 62 64 54 76
-455 111 101 123 109
-456 100 118 108 130
-457 134 124 146 116
-458 93 95 85 107
-459 22 33 1 4
-460 111 103 141 153
-461 198 220 206 208
-462 154 146 136 148
-463 66 42 32 54
-464 70 60 82 51
-465 154 112 104 142
-466 90 82 72 84
-467 61 63 53 75
-468 166 156 178 148
-469 214 204 226 196
-470 137 129 119 131
-471 23 15 16 8
-472 14 25 49 52
-473 33 30 21 32
-474 26 27 18 41
-475 34 45 59 43
-476 132 150 140 162
-477 210 200 212 218
-478 198 188 210 180
-479 182 172 194 164
-480 165 187 173 175
-481 110 112 102 124
-482 88 100 106 98
-483 4 15 7 10
-484 29 40 20 31
-485 56 94 106 64
-486 176 168 206 218
-487 205 207 197 219
-488 68 86 76 98
-489 190 192 182 204
-490 221 233 191 183
-491 13 57 8 43
-492 69 59 81 50
-493 253 245 235 227
-494 165 155 177 147
-495 99 117 107 129
-496 22 28 19 42
-497 201 193 183 195
-498 189 191 181 203
-499 143 133 155 141
-500 66 56 68 74
-501 126 128 118 140
-502 11 36 5 49
-503 202 194 184 196
-504 178 168 180 186
-505 58 48 38 51
-506 3 26 5 40
-507 77 45 89 37
-508 223 256 215 251
-509 3 6 39 52
-510 25 17 21 32
-511 35 25 48 17
-512 22 35 48 19
0