Graph forms
for C4 [ 456, 36 ] = SDD(W(57,2))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 456, 36 ] =
SDD(W(57,2)).
(I) Following is a form readable by MAGMA:
g:=Graph<456|{ {113, 251}, {107, 246}, {75, 234}, {67, 235}, {68, 236}, {85,
252}, {67, 232}, {67, 237}, {67, 246}, {72, 240}, {49, 241}, {57, 251}, {55,
242}, {41, 239}, {49, 249}, {33, 232}, {54, 255}, {57, 243}, {53, 254}, {55,
250}, {49, 255}, {63, 241}, {37, 245}, {55, 230}, {34, 240}, {56, 234}, {43,
248}, {33, 244}, {44, 249}, {42, 255}, {34, 247}, {32, 246}, {40, 254}, {41,
254}, {34, 248}, {35, 248}, {39, 252}, {33, 252}, {56, 229}, {38, 251}, {36,
249}, {41, 247}, {57, 231}, {56, 230}, {37, 250}, {56, 231}, {4, 230}, {19,
241}, {18, 240}, {15, 237}, {14, 236}, {11, 233}, {5, 231}, {13, 238}, {30,
253}, {1, 229}, {31, 250}, {1, 231}, {13, 235}, {12, 234}, {1, 230}, {8, 239},
{2, 229}, {3, 235}, {7, 238}, {23, 253}, {31, 245}, {30, 244}, {1, 234}, {3,
232}, {2, 233}, {24, 245}, {2, 236}, {29, 243}, {6, 232}, {3, 237}, {29, 242},
{30, 238}, {9, 248}, {24, 233}, {6, 244}, {15, 253}, {7, 244}, {10, 249}, {24,
236}, {29, 233}, {3, 246}, {10, 255}, {4, 242}, {8, 254}, {5, 243}, {2, 245},
{11, 243}, {9, 240}, {11, 242}, {6, 252}, {23, 237}, {21, 239}, {7, 253}, {10,
241}, {16, 235}, {24, 229}, {4, 250}, {17, 239}, {16, 238}, {9, 247}, {5, 251},
{8, 247}, {23, 279}, {184, 440}, {183, 439}, {169, 425}, {71, 327}, {99, 355},
{100, 356}, {101, 357}, {16, 273}, {201, 456}, {172, 429}, {36, 293}, {143,
398}, {146, 403}, {154, 411}, {160, 417}, {25, 283}, {199, 453}, {198, 452},
{181, 439}, {176, 434}, {104, 362}, {117, 375}, {11, 264}, {203, 456}, {195,
448}, {173, 430}, {161, 418}, {98, 353}, {112, 371}, {115, 368}, {145, 402},
{152, 411}, {12, 264}, {191, 443}, {176, 436}, {171, 431}, {27, 287}, {26, 286},
{25, 285}, {74, 335}, {191, 442}, {179, 438}, {99, 358}, {114, 375}, {116, 369},
{130, 391}, {144, 405}, {146, 407}, {153, 412}, {156, 409}, {158, 408}, {8,
271}, {190, 441}, {178, 437}, {73, 334}, {35, 292}, {14, 265}, {104, 367}, {129,
390}, {145, 406}, {154, 413}, {157, 410}, {26, 274}, {206, 454}, {203, 451},
{185, 433}, {64, 328}, {28, 276}, {27, 275}, {100, 364}, {101, 365}, {102, 366},
{131, 395}, {133, 397}, {5, 268}, {98, 363}, {53, 316}, {47, 294}, {44, 293},
{9, 256}, {7, 270}, {18, 280}, {189, 439}, {184, 434}, {91, 337}, {87, 349},
{86, 348}, {38, 300}, {19, 281}, {6, 269}, {207, 452}, {205, 454}, {97, 362},
{66, 329}, {54, 317}, {23, 284}, {22, 285}, {147, 408}, {171, 423}, {187, 439},
{4, 265}, {206, 451}, {172, 417}, {160, 429}, {22, 283}, {148, 409}, {13, 259},
{205, 451}, {201, 455}, {97, 367}, {92, 338}, {20, 282}, {118, 376}, {119, 377},
{131, 397}, {133, 395}, {43, 292}, {173, 418}, {161, 430}, {95, 336}, {102,
361}, {128, 399}, {149, 410}, {17, 257}, {185, 425}, {47, 319}, {30, 270}, {112,
352}, {114, 354}, {152, 392}, {153, 393}, {154, 394}, {35, 306}, {217, 456},
{213, 452}, {212, 453}, {189, 428}, {178, 419}, {163, 434}, {65, 336}, {62,
303}, {51, 290}, {22, 260}, {166, 436}, {83, 321}, {51, 289}, {37, 311}, {121,
363}, {158, 396}, {15, 284}, {183, 420}, {52, 295}, {50, 289}, {45, 318}, {16,
259}, {20, 256}, {211, 455}, {210, 454}, {40, 316}, {22, 258}, {21, 257}, {29,
264}, {221, 456}, {213, 448}, {211, 454}, {210, 455}, {208, 453}, {186, 431},
{182, 419}, {166, 435}, {95, 330}, {73, 348}, {51, 294}, {128, 405}, {84, 322},
{165, 435}, {117, 355}, {127, 361}, {19, 260}, {183, 416}, {179, 420}, {79,
344}, {74, 349}, {63, 296}, {52, 291}, {48, 295}, {45, 314}, {42, 317}, {36,
307}, {135, 400}, {14, 278}, {169, 433}, {87, 335}, {86, 334}, {85, 333}, {32,
312}, {15, 279}, {147, 395}, {12, 277}, {189, 420}, {66, 347}, {59, 290}, {43,
306}, {18, 267}, {105, 368}, {136, 401}, {142, 407}, {153, 384}, {10, 272},
{219, 449}, {174, 436}, {64, 346}, {59, 289}, {17, 267}, {140, 406}, {17, 266},
{183, 428}, {168, 435}, {163, 440}, {60, 295}, {58, 289}, {28, 263}, {25, 258},
{106, 369}, {111, 372}, {143, 404}, {154, 385}, {13, 273}, {222, 450}, {174,
434}, {168, 436}, {39, 315}, {38, 314}, {37, 313}, {110, 370}, {25, 260}, {189,
416}, {186, 423}, {165, 440}, {59, 294}, {27, 262}, {124, 353}, {142, 403}, {20,
266}, {223, 449}, {221, 451}, {220, 450}, {217, 455}, {71, 345}, {27, 261}, {21,
267}, {140, 402}, {21, 266}, {188, 419}, {60, 291}, {44, 307}, {26, 261}, {144,
399}, {12, 300}, {224, 448}, {163, 387}, {162, 386}, {61, 285}, {45, 269}, {49,
272}, {167, 390}, {51, 274}, {34, 256}, {227, 449}, {188, 414}, {165, 391},
{164, 390}, {92, 382}, {35, 257}, {135, 421}, {14, 301}, {188, 415}, {122, 345},
{62, 282}, {225, 453}, {224, 452}, {104, 332}, {58, 287}, {187, 414}, {100,
321}, {121, 348}, {31, 313}, {228, 450}, {187, 413}, {91, 381}, {81, 375}, {63,
281}, {41, 271}, {36, 258}, {123, 349}, {70, 353}, {187, 412}, {101, 322}, {112,
343}, {31, 311}, {191, 407}, {190, 406}, {182, 414}, {181, 413}, {46, 262}, {47,
262}, {186, 403}, {182, 415}, {181, 412}, {59, 274}, {26, 304}, {96, 330}, {43,
257}, {114, 344}, {46, 261}, {185, 402}, {181, 414}, {96, 331}, {33, 269}, {102,
330}, {103, 331}, {105, 325}, {106, 326}, {28, 305}, {177, 412}, {175, 386},
{97, 332}, {79, 354}, {70, 363}, {61, 272}, {54, 283}, {50, 287}, {103, 330},
{109, 320}, {32, 270}, {170, 388}, {45, 259}, {44, 258}, {136, 422}, {53, 282},
{124, 339}, {110, 350}, {111, 351}, {42, 283}, {180, 389}, {177, 384}, {96,
337}, {95, 366}, {84, 357}, {82, 355}, {46, 287}, {111, 350}, {40, 282}, {179,
385}, {178, 384}, {81, 355}, {116, 326}, {124, 334}, {97, 338}, {107, 344}, {62,
266}, {188, 392}, {92, 360}, {82, 358}, {152, 428}, {57, 268}, {39, 273}, {95,
361}, {102, 336}, {103, 337}, {115, 325}, {156, 426}, {157, 427}, {48, 263},
{83, 356}, {127, 328}, {79, 375}, {177, 393}, {171, 403}, {90, 354}, {84, 365},
{109, 340}, {111, 342}, {125, 324}, {126, 327}, {104, 338}, {191, 389}, {190,
388}, {125, 327}, {126, 324}, {19, 296}, {184, 387}, {169, 402}, {89, 354}, {63,
260}, {20, 303}, {110, 341}, {119, 332}, {123, 320}, {18, 302}, {91, 359}, {90,
358}, {28, 288}, {113, 333}, {46, 275}, {118, 331}, {55, 265}, {182, 392}, {62,
256}, {148, 426}, {149, 427}, {83, 364}, {89, 358}, {108, 339}, {124, 323}, {76,
268}, {77, 269}, {119, 310}, {196, 389}, {197, 391}, {72, 267}, {93, 286}, {87,
276}, {75, 264}, {115, 304}, {118, 309}, {85, 273}, {86, 275}, {226, 423}, {101,
288}, {116, 305}, {121, 316}, {117, 307}, {207, 393}, {201, 399}, {200, 398},
{121, 319}, {122, 317}, {195, 388}, {80, 280}, {81, 281}, {69, 268}, {225, 424},
{224, 425}, {70, 271}, {94, 276}, {226, 424}, {215, 413}, {108, 294}, {109,
295}, {120, 306}, {113, 314}, {215, 411}, {221, 401}, {68, 265}, {214, 411},
{199, 394}, {98, 303}, {83, 286}, {77, 259}, {88, 278}, {82, 284}, {93, 274},
{198, 393}, {120, 311}, {69, 277}, {207, 415}, {193, 401}, {192, 400}, {72,
280}, {68, 278}, {227, 433}, {226, 432}, {103, 308}, {202, 409}, {196, 407},
{107, 312}, {108, 319}, {96, 308}, {228, 432}, {206, 410}, {120, 301}, {224,
437}, {204, 409}, {195, 406}, {215, 385}, {217, 399}, {71, 272}, {225, 438},
{205, 410}, {78, 278}, {228, 444}, {226, 442}, {205, 405}, {204, 404}, {93,
261}, {79, 279}, {76, 277}, {198, 415}, {94, 263}, {105, 304}, {71, 285}, {228,
446}, {227, 441}, {208, 394}, {203, 401}, {202, 400}, {73, 275}, {99, 312},
{219, 384}, {206, 405}, {106, 305}, {204, 400}, {113, 300}, {220, 385}, {215,
394}, {74, 276}, {227, 445}, {225, 447}, {214, 392}, {202, 404}, {75, 277},
{209, 398}, {78, 302}, {222, 446}, {213, 437}, {120, 280}, {88, 313}, {218,
443}, {204, 429}, {80, 306}, {223, 445}, {222, 444}, {212, 438}, {201, 427},
{200, 426}, {81, 307}, {216, 443}, {48, 340}, {216, 444}, {61, 345}, {107, 270},
{218, 447}, {203, 430}, {194, 423}, {192, 421}, {114, 279}, {72, 302}, {223,
441}, {218, 444}, {75, 300}, {216, 447}, {202, 429}, {199, 416}, {193, 422},
{80, 311}, {65, 297}, {64, 297}, {200, 417}, {74, 291}, {70, 303}, {68, 301},
{66, 299}, {39, 333}, {220, 438}, {194, 424}, {82, 312}, {78, 292}, {108, 262},
{109, 263}, {38, 333}, {212, 447}, {73, 290}, {65, 298}, {40, 323}, {117, 281},
{93, 304}, {200, 421}, {98, 271}, {42, 324}, {223, 433}, {222, 432}, {219, 437},
{208, 446}, {85, 315}, {94, 305}, {48, 320}, {210, 418}, {209, 417}, {208, 416},
{89, 296}, {211, 418}, {179, 450}, {91, 298}, {52, 326}, {217, 427}, {207, 445},
{194, 432}, {90, 296}, {76, 318}, {54, 324}, {50, 321}, {221, 430}, {178, 449},
{77, 318}, {64, 308}, {210, 422}, {209, 421}, {87, 291}, {86, 290}, {84, 288},
{66, 310}, {65, 309}, {211, 422}, {218, 431}, {52, 322}, {197, 435}, {88, 302},
{53, 323}, {50, 325}, {216, 431}, {92, 299}, {78, 313}, {77, 314}, {76, 315},
{32, 344}, {220, 420}, {219, 419}, {194, 442}, {199, 446}, {60, 326}, {214,
428}, {195, 441}, {61, 327}, {100, 286}, {58, 321}, {209, 426}, {198, 445}, {69,
318}, {47, 339}, {213, 425}, {212, 424}, {89, 293}, {88, 292}, {80, 301}, {197,
440}, {60, 322}, {196, 442}, {190, 448}, {94, 288}, {69, 315}, {58, 325}, {196,
443}, {90, 293}, {99, 284}, {192, 342}, {193, 343}, {137, 297}, {138, 298},
{139, 299}, {138, 297}, {155, 319}, {155, 316}, {214, 383}, {197, 360}, {147,
317}, {129, 309}, {130, 310}, {192, 379}, {150, 298}, {151, 299}, {137, 308},
{193, 380}, {139, 310}, {138, 309}, {159, 351}, {167, 359}, {137, 328}, {161,
352}, {159, 350}, {139, 329}, {158, 349}, {164, 359}, {151, 338}, {168, 365},
{156, 346}, {163, 357}, {162, 356}, {157, 347}, {132, 323}, {180, 371}, {143,
328}, {150, 337}, {155, 348}, {164, 364}, {128, 329}, {186, 371}, {176, 377},
{159, 342}, {129, 331}, {132, 334}, {133, 335}, {147, 345}, {166, 365}, {185,
370}, {175, 356}, {167, 364}, {131, 335}, {165, 360}, {173, 352}, {130, 332},
{177, 383}, {176, 382}, {148, 346}, {149, 347}, {139, 347}, {174, 382}, {133,
340}, {135, 342}, {175, 381}, {134, 341}, {137, 346}, {164, 368}, {180, 352},
{160, 373}, {131, 340}, {175, 376}, {174, 377}, {167, 368}, {166, 369}, {161,
374}, {132, 339}, {141, 341}, {171, 371}, {170, 370}, {144, 329}, {172, 373},
{168, 369}, {138, 336}, {162, 376}, {169, 370}, {173, 374}, {184, 357}, {158,
320}, {136, 343}, {162, 381}, {122, 408}, {123, 408}, {180, 343}, {146, 374},
{132, 353}, {145, 372}, {143, 361}, {153, 383}, {152, 383}, {106, 387}, {151,
382}, {110, 388}, {128, 362}, {105, 386}, {127, 404}, {145, 378}, {150, 381},
{159, 372}, {146, 380}, {118, 390}, {119, 391}, {125, 397}, {155, 363}, {115,
386}, {122, 395}, {125, 396}, {127, 398}, {150, 359}, {126, 396}, {142, 380},
{156, 366}, {157, 367}, {126, 397}, {172, 351}, {134, 373}, {136, 380}, {170,
350}, {112, 389}, {140, 378}, {141, 379}, {116, 387}, {123, 396}, {141, 378},
{140, 372}, {141, 373}, {142, 374}, {129, 376}, {144, 362}, {148, 366}, {149,
367}, {130, 377}, {134, 378}, {135, 379}, {134, 379}, {151, 360}, {170, 341},
{160, 351} }>;
(II) A more general form is to represent the graph as the orbit of {113, 251}
under the group generated by the following permutations:
a: (2, 5)(3, 9)(4, 12)(6, 18)(7, 17)(8, 15)(10, 27)(13, 35)(14, 38)(16, 43)(19,
47)(20, 32)(21, 30)(22, 51)(23, 41)(24, 57)(25, 59)(26, 42)(28, 65)(31, 69)(33,
72)(34, 67)(36, 73)(37, 76)(39, 78)(40, 79)(44, 86)(45, 80)(46, 49)(48, 91)(50,
61)(52, 96)(53, 114)(54, 93)(55, 75)(58, 71)(60, 103)(62, 107)(63, 108)(64,
84)(66, 111)(68, 113)(70, 82)(74, 118)(77, 120)(81, 121)(83, 122)(85, 88)(87,
129)(89, 124)(90, 132)(92, 135)(94, 138)(95, 106)(97, 134)(98, 99)(100,
147)(101, 137)(102, 116)(104, 141)(105, 125)(109, 150)(110, 128)(112, 153)(115,
126)(117, 155)(119, 160)(123, 162)(127, 163)(130, 172)(131, 164)(133, 167)(136,
178)(139, 159)(140, 149)(142, 182)(143, 184)(144, 170)(145, 157)(146, 188)(148,
166)(151, 192)(152, 171)(154, 194)(156, 168)(158, 175)(161, 198)(165, 200)(169,
201)(173, 207)(174, 202)(176, 204)(177, 180)(179, 212)(181, 191)(183, 216)(185,
217)(186, 214)(187, 196)(189, 218)(190, 205)(193, 219)(195, 206)(197, 209)(199,
222)(203, 213)(208, 228)(210, 223)(211, 227)(215, 226)(220, 225)(221, 224)(229,
231)(230, 234)(232, 240)(233, 243)(235, 248)(236, 251)(237, 247)(238, 257)(239,
253)(241, 262)(242, 264)(244, 267)(245, 268)(246, 256)(249, 275)(250, 277)(252,
302)(254, 279)(255, 261)(258, 290)(259, 306)(260, 294)(263, 298)(265, 300)(266,
270)(269, 280)(271, 284)(272, 287)(273, 292)(274, 283)(276, 309)(278, 333)(281,
319)(282, 344)(285, 289)(286, 317)(288, 297)(291, 331)(293, 334)(295, 337)(296,
339)(299, 342)(301, 314)(303, 312)(304, 324)(305, 336)(307, 348)(308, 322)(310,
351)(311, 318)(313, 315)(316, 375)(320, 381)(321, 345)(323, 354)(325, 327)(326,
330)(328, 357)(329, 350)(332, 373)(335, 390)(338, 379)(340, 359)(341, 362)(343,
384)(346, 365)(347, 372)(349, 376)(352, 393)(353, 358)(355, 363)(356, 408)(360,
421)(361, 387)(364, 395)(366, 369)(367, 378)(368, 397)(370, 399)(371, 383)(374,
415)(377, 429)(380, 419)(382, 400)(385, 424)(386, 396)(388, 405)(389, 412)(391,
417)(392, 403)(394, 432)(398, 440)(401, 437)(402, 427)(404, 434)(406, 410)(407,
414)(409, 436)(411, 423)(413, 442)(416, 444)(418, 445)(420, 447)(422, 449)(425,
456)(426, 435)(428, 431)(430, 452)(433, 455)(439, 443)(441, 454)(448, 451)(450,
453) (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: (12, 75)
c: (7, 30)
d: (97, 104)
e: (11, 29)
f: (135, 160)(172, 192)(342, 351)(373, 379)(400, 429)(417, 421)
g: (131, 133)
h: (83, 100)
m: (149, 157)
n1: (50, 58)
a1: (26, 50)(58, 93)(261, 287)(274, 289)(286, 321)(304, 325)
b1: (4, 55)
c1: (134, 141)
d1: (163, 166)(168, 184)(357, 365)(369, 387)(434, 436)(435, 440)
e1: (123, 131)(133, 158)(320, 340)(335, 349)(395, 408)(396, 397)
f1: (17, 21)
g1: (74, 87)
h1: (78, 80)(88, 120)(278, 301)(280, 302)(292, 306)(311, 313)
m1: (10, 22)(25, 49)(241, 260)(249, 258)(255, 283)(272, 285)
n2: (179, 199)(208, 220)(385, 394)(416, 420)(438, 453)(446, 450)
a2: (153, 182)(177, 188)(383, 392)(384, 419)(393, 415)(412, 414)
b2: (178, 198)(207, 219)(384, 393)(415, 419)(437, 452)(445, 449)
c2: (15, 23)
d2: (48, 74)(87, 109)(263, 276)(291, 295)(320, 349)(335, 340)
e2: (20, 62)
f2: (1, 2)(3, 8)(4, 11)(5, 14)(6, 9)(7, 20)(10, 26)(12, 31)(13, 17)(15, 40)(16,
21)(18, 39)(19, 27)(22, 50)(23, 53)(24, 56)(25, 58)(28, 64)(29, 55)(30, 62)(32,
70)(33, 34)(35, 45)(36, 51)(37, 75)(38, 78)(41, 67)(42, 83)(43, 77)(44, 59)(46,
63)(47, 81)(48, 65)(49, 93)(52, 95)(54, 100)(57, 68)(60, 102)(61, 105)(66,
110)(69, 80)(71, 115)(72, 85)(73, 89)(74, 96)(76, 120)(79, 121)(82, 124)(84,
127)(86, 90)(87, 103)(88, 113)(91, 123)(92, 111)(94, 137)(97, 140)(98, 107)(99,
132)(101, 143)(104, 145)(106, 148)(108, 117)(109, 138)(112, 152)(114, 155)(116,
156)(118, 131)(119, 134)(122, 162)(125, 164)(126, 167)(128, 169)(129, 133)(130,
141)(135, 165)(136, 153)(139, 170)(142, 181)(144, 185)(146, 187)(147, 175)(149,
190)(150, 158)(151, 159)(154, 171)(157, 195)(160, 174)(161, 182)(163, 200)(166,
202)(168, 204)(172, 176)(173, 188)(177, 193)(178, 203)(179, 194)(180, 214)(183,
191)(184, 209)(186, 215)(189, 196)(192, 197)(198, 210)(199, 216)(201, 213)(205,
223)(206, 227)(207, 211)(208, 218)(217, 224)(219, 221)(220, 226)(230, 233)(231,
236)(232, 247)(234, 245)(235, 239)(237, 254)(238, 266)(240, 252)(241, 261)(243,
265)(244, 256)(246, 271)(248, 269)(249, 274)(250, 264)(251, 278)(253, 282)(255,
286)(257, 259)(258, 289)(260, 287)(262, 281)(263, 297)(267, 273)(268, 301)(270,
303)(272, 304)(275, 296)(276, 308)(277, 311)(279, 316)(280, 315)(283, 321)(284,
323)(285, 325)(288, 328)(290, 293)(291, 330)(292, 314)(294, 307)(295, 336)(298,
320)(299, 350)(300, 313)(302, 333)(305, 346)(306, 318)(309, 340)(310, 341)(312,
353)(317, 356)(319, 375)(322, 361)(324, 364)(326, 366)(327, 368)(329, 370)(331,
335)(332, 378)(334, 358)(337, 349)(338, 372)(339, 355)(342, 360)(343, 383)(344,
363)(345, 386)(347, 388)(348, 354)(351, 382)(352, 392)(357, 398)(359, 396)(362,
402)(365, 404)(367, 406)(369, 409)(371, 411)(373, 377)(374, 414)(376, 395)(379,
391)(380, 412)(381, 408)(384, 401)(385, 423)(387, 426)(389, 428)(390, 397)(393,
422)(394, 431)(399, 425)(400, 435)(403, 413)(405, 433)(407, 439)(410, 441)(415,
418)(416, 443)(417, 434)(419, 430)(420, 442)(421, 440)(424, 438)(427, 448)(429,
436)(432, 450)(437, 456)(444, 446)(445, 454)(447, 453)(449, 451)(452, 455)
g2: (3, 7)(30, 67)(232, 244)(235, 238)(237, 253)(246, 270)
h2: (13, 16)
m2: (79, 82)(99, 114)(279, 284)(312, 344)(354, 358)(355, 375)
n3: (5, 12)(57, 75)(231, 234)(243, 264)(251, 300)(268, 277)
a3: (105, 115)
b3: (38, 69)(76, 113)(251, 268)(277, 300)(314, 318)(315, 333)
c3: (40, 53)
d3: (61, 71)
e3: (22, 25)
f3: (111, 134)(141, 159)(341, 350)(342, 379)(351, 373)(372, 378)
g3: (110, 140)(145, 170)(341, 378)(350, 372)(370, 402)(388, 406)
h3: (83, 105)(100, 115)(286, 304)(321, 325)(356, 386)(364, 368)
m3: (222, 228)
n4: (84, 106)(101, 116)(288, 305)(322, 326)(357, 387)(365, 369)
a4: (42, 54)
b4: (202, 204)
c4: (32, 107)
d4: (65, 96)(103, 138)(297, 308)(298, 337)(309, 331)(330, 336)
e4: (70, 98)
f4: (36, 44)
g4: (169, 190)(185, 195)(370, 388)(402, 406)(425, 448)(433, 441)
h4: (121, 124)(132, 155)(316, 323)(319, 339)(334, 348)(353, 363)
m4: (164, 167)
n5: (106, 116)
a5: (153, 177)
b5: (191, 196)
c5: (199, 208)
d5: (19, 36)(44, 63)(241, 249)(258, 260)(281, 307)(293, 296)
e5: (200, 202)(204, 209)(398, 404)(400, 421)(409, 426)(417, 429)
f5: (82, 99)
g5: (118, 129)
h5: (95, 102)
m5: (201, 205)(206, 217)(399, 405)(410, 427)(451, 456)(454, 455)
n6: (91, 118)(129, 150)(298, 309)(331, 337)(359, 390)(376, 381)
a6: (2, 4)(24, 55)(229, 230)(233, 242)(236, 265)(245, 250)
b6: (89, 90)
c6: (160, 172)
d6: (15, 32)(23, 107)(237, 246)(253, 270)(279, 344)(284, 312)
e6: (122, 125)(126, 147)(317, 324)(327, 345)(395, 397)(396, 408)
f6: (198, 207)
g6: (27, 46)
h6: (28, 52)(60, 94)(263, 295)(276, 291)(288, 322)(305, 326)
m6: (161, 173)
n7: (136, 161)(173, 193)(343, 352)(374, 380)(401, 430)(418, 422)
a7: (92, 119)(130, 151)(299, 310)(332, 338)(360, 391)(377, 382)
b7: (84, 101)
c7: (42, 61)(54, 71)(255, 272)(283, 285)(317, 345)(324, 327)
d7: (31, 37)
e7: (194, 216)(218, 226)(423, 431)(424, 447)(432, 444)(442, 443)
f7: (128, 144)
g7: (9, 17)(21, 34)(239, 247)(240, 267)(248, 257)(256, 266)
h7: (69, 76)
m7: (47, 73)(86, 108)(262, 275)(290, 294)(319, 348)(334, 339)
n8: (18, 35)(43, 72)(240, 248)(257, 267)(280, 306)(292, 302)
a8: (81, 89)(90, 117)(281, 296)(293, 307)(354, 375)(355, 358)
b8: (51, 59)
c8: (148, 156)
d8: (45, 77)
e8: (171, 186)
f8: (35, 43)
g8: (128, 149)(144, 157)(329, 347)(362, 367)(399, 427)(405, 410)
h8: (124, 132)
m8: (169, 185)
n9: (183, 189)
a9: (142, 146)
b9: (223, 227)
c9: (181, 187)
d9: (154, 183)(189, 215)(385, 420)(394, 416)(411, 428)(413, 439)
e9: (190, 195)
f9: (174, 176)
g9: (80, 120)
h9: (127, 143)
m9: (210, 211)
n10: (52, 60)
a10: (205, 206)
b10: (162, 164)(167, 175)(356, 364)(359, 381)(368, 386)(376, 390)
c10: (212, 222)(225, 228)(424, 432)(438, 450)(444, 447)(446, 453)
d10: (127, 148)(143, 156)(328, 346)(361, 366)(398, 426)(404, 409)
e10: (216, 218)
f10: (182, 188)
g10: (40, 70)(53, 98)(254, 271)(282, 303)(316, 363)(323, 353)
h10: (125, 126)
m10: (166, 168)
n11: (39, 45)(77, 85)(252, 269)(259, 273)(314, 333)(315, 318)
a11: (213, 223)(224, 227)(425, 433)(437, 449)(441, 448)(445, 452)
b11: (171, 191)(186, 196)(371, 389)(403, 407)(423, 442)(431, 443)
c11: (6, 13)(16, 33)(232, 235)(238, 244)(252, 273)(259, 269)
d11: (96, 103)
e11: (64, 95)(102, 137)(297, 336)(308, 330)(328, 361)(346, 366)
f11: (27, 51)(46, 59)(261, 274)(262, 294)(275, 290)(287, 289)
g11: (119, 130)
h11: (14, 31)(37, 68)(236, 245)(250, 265)(278, 313)(301, 311)
m11: (165, 174)(176, 197)(360, 382)(377, 391)(434, 440)(435, 436)
n12: (66, 97)(104, 139)(299, 338)(310, 332)(329, 362)(347, 367)
a12: (152, 181)(187, 214)(383, 412)(392, 414)(411, 413)(428, 439)
b12: (112, 142)(146, 180)(343, 380)(352, 374)(371, 403)(389, 407)
c12: (73, 86)
d12: (140, 145)
e12: (203, 210)(211, 221)(401, 422)(418, 430)(451, 454)(455, 456)
f12: (8, 20)(41, 62)(239, 266)(247, 256)(254, 282)(271, 303)
C4[ 456, 36 ]
456
-1 231 234 229 230
-2 233 245 236 229
-3 232 235 246 237
-4 242 265 250 230
-5 231 243 268 251
-6 232 244 269 252
-7 253 244 270 238
-8 254 247 271 239
-9 256 247 248 240
-10 255 249 272 241
-11 242 264 243 233
-12 264 277 234 300
-13 235 259 238 273
-14 265 278 301 236
-15 253 279 237 284
-16 235 259 238 273
-17 266 267 257 239
-18 267 280 302 240
-19 281 260 241 296
-20 266 256 303 282
-21 266 267 257 239
-22 258 260 283 285
-23 253 279 237 284
-24 233 245 236 229
-25 258 260 283 285
-26 286 304 261 274
-27 275 287 261 262
-28 276 288 305 263
-29 242 264 243 233
-30 253 244 270 238
-31 245 311 313 250
-32 344 246 312 270
-33 232 244 269 252
-34 256 247 248 240
-35 257 248 292 306
-36 258 249 293 307
-37 245 311 313 250
-38 300 333 314 251
-39 333 315 273 252
-40 254 323 282 316
-41 254 247 271 239
-42 255 324 283 317
-43 257 248 292 306
-44 258 249 293 307
-45 269 259 314 318
-46 275 287 261 262
-47 319 294 262 339
-48 320 295 263 340
-49 255 249 272 241
-50 287 321 289 325
-51 289 290 294 274
-52 322 291 326 295
-53 254 323 282 316
-54 255 324 283 317
-55 242 265 250 230
-56 231 234 229 230
-57 231 243 268 251
-58 287 321 289 325
-59 289 290 294 274
-60 322 291 326 295
-61 345 272 327 285
-62 266 256 303 282
-63 281 260 241 296
-64 297 308 346 328
-65 297 298 309 336
-66 299 310 347 329
-67 232 235 246 237
-68 265 278 301 236
-69 277 268 315 318
-70 363 353 303 271
-71 345 272 327 285
-72 267 280 302 240
-73 275 290 334 348
-74 276 291 335 349
-75 264 277 234 300
-76 277 268 315 318
-77 269 259 314 318
-78 278 302 313 292
-79 375 354 344 279
-80 311 301 280 306
-81 375 355 281 307
-82 355 312 358 284
-83 286 364 321 356
-84 288 365 322 357
-85 333 315 273 252
-86 275 290 334 348
-87 276 291 335 349
-88 278 302 313 292
-89 354 358 293 296
-90 354 358 293 296
-91 298 337 359 381
-92 299 338 360 382
-93 286 304 261 274
-94 276 288 305 263
-95 330 366 336 361
-96 308 330 331 337
-97 332 367 338 362
-98 363 353 303 271
-99 355 312 358 284
-100 286 364 321 356
-101 288 365 322 357
-102 330 366 336 361
-103 308 330 331 337
-104 332 367 338 362
-105 386 368 325 304
-106 387 369 326 305
-107 344 246 312 270
-108 319 294 262 339
-109 320 295 263 340
-110 341 388 370 350
-111 342 350 372 351
-112 352 343 389 371
-113 300 333 314 251
-114 375 354 344 279
-115 386 368 325 304
-116 387 369 326 305
-117 375 355 281 307
-118 309 331 376 390
-119 310 332 377 391
-120 311 301 280 306
-121 319 363 348 316
-122 408 345 317 395
-123 396 320 408 349
-124 353 323 334 339
-125 396 397 324 327
-126 396 397 324 327
-127 398 404 328 361
-128 399 405 329 362
-129 309 331 376 390
-130 310 332 377 391
-131 397 335 340 395
-132 353 323 334 339
-133 397 335 340 395
-134 341 378 379 373
-135 342 421 400 379
-136 343 422 401 380
-137 297 308 346 328
-138 297 298 309 336
-139 299 310 347 329
-140 378 402 372 406
-141 341 378 379 373
-142 374 407 380 403
-143 398 404 328 361
-144 399 405 329 362
-145 378 402 372 406
-146 374 407 380 403
-147 408 345 317 395
-148 409 366 346 426
-149 410 367 347 427
-150 298 337 359 381
-151 299 338 360 382
-152 411 392 383 428
-153 412 393 383 384
-154 385 411 413 394
-155 319 363 348 316
-156 409 366 346 426
-157 410 367 347 427
-158 396 320 408 349
-159 342 350 372 351
-160 429 351 373 417
-161 352 374 418 430
-162 386 376 356 381
-163 440 387 357 434
-164 364 368 390 359
-165 440 391 435 360
-166 365 369 435 436
-167 364 368 390 359
-168 365 369 435 436
-169 433 402 370 425
-170 341 388 370 350
-171 431 423 403 371
-172 429 351 373 417
-173 352 374 418 430
-174 377 434 436 382
-175 386 376 356 381
-176 377 434 436 382
-177 412 393 383 384
-178 419 437 449 384
-179 385 420 438 450
-180 352 343 389 371
-181 412 413 414 439
-182 419 392 414 415
-183 420 416 428 439
-184 440 387 357 434
-185 433 402 370 425
-186 431 423 403 371
-187 412 413 414 439
-188 419 392 414 415
-189 420 416 428 439
-190 441 388 448 406
-191 407 442 443 389
-192 342 421 400 379
-193 343 422 401 380
-194 442 432 423 424
-195 441 388 448 406
-196 407 442 443 389
-197 440 391 435 360
-198 452 445 393 415
-199 453 446 394 416
-200 398 421 426 417
-201 399 455 456 427
-202 429 409 400 404
-203 451 430 401 456
-204 429 409 400 404
-205 451 410 454 405
-206 451 410 454 405
-207 452 445 393 415
-208 453 446 394 416
-209 398 421 426 417
-210 418 454 422 455
-211 418 454 422 455
-212 453 424 447 438
-213 452 425 437 448
-214 411 392 383 428
-215 385 411 413 394
-216 431 443 444 447
-217 399 455 456 427
-218 431 443 444 447
-219 419 437 449 384
-220 385 420 438 450
-221 451 430 401 456
-222 432 444 446 450
-223 441 433 445 449
-224 452 425 437 448
-225 453 424 447 438
-226 442 432 423 424
-227 441 433 445 449
-228 432 444 446 450
-229 1 56 2 24
-230 55 1 56 4
-231 1 56 57 5
-232 33 67 3 6
-233 11 2 24 29
-234 1 12 56 75
-235 67 13 3 16
-236 2 24 68 14
-237 23 67 3 15
-238 13 16 7 30
-239 17 8 41 21
-240 34 72 18 9
-241 49 19 63 10
-242 11 55 4 29
-243 11 57 5 29
-244 33 6 7 30
-245 2 24 37 31
-246 67 3 107 32
-247 34 8 41 9
-248 34 35 9 43
-249 44 36 49 10
-250 55 4 37 31
-251 57 113 5 38
-252 33 6 39 85
-253 23 15 7 30
-254 40 8 41 53
-255 49 42 10 54
-256 34 62 9 20
-257 35 17 21 43
-258 22 44 25 36
-259 77 45 13 16
-260 22 25 19 63
-261 46 26 27 93
-262 46 47 27 108
-263 48 28 94 109
-264 11 12 29 75
-265 55 68 14 4
-266 17 62 20 21
-267 17 72 18 21
-268 57 69 5 76
-269 33 77 45 6
-270 7 30 107 32
-271 70 8 41 98
-272 49 71 61 10
-273 13 16 39 85
-274 26 59 93 51
-275 46 27 73 86
-276 28 94 74 87
-277 12 69 75 76
-278 88 78 68 14
-279 23 79 15 114
-280 80 72 18 120
-281 81 117 19 63
-282 40 62 20 53
-283 22 25 42 54
-284 99 23 15 82
-285 22 25 71 61
-286 100 26 93 83
-287 46 58 27 50
-288 101 28 94 84
-289 58 59 50 51
-290 59 51 73 86
-291 60 52 74 87
-292 88 78 35 43
-293 44 89 90 36
-294 47 59 51 108
-295 48 60 52 109
-296 89 90 19 63
-297 137 138 64 65
-298 91 138 150 65
-299 66 92 139 151
-300 12 113 38 75
-301 68 14 80 120
-302 88 78 72 18
-303 70 62 20 98
-304 26 93 115 105
-305 28 94 116 106
-306 35 80 43 120
-307 44 36 81 117
-308 103 137 96 64
-309 138 118 129 65
-310 66 139 119 130
-311 80 37 31 120
-312 99 82 107 32
-313 88 78 37 31
-314 77 45 113 38
-315 69 39 85 76
-316 121 155 40 53
-317 122 147 42 54
-318 77 45 69 76
-319 121 155 47 108
-320 123 48 158 109
-321 100 58 50 83
-322 101 60 84 52
-323 132 124 40 53
-324 125 126 42 54
-325 58 115 50 105
-326 60 116 106 52
-327 125 71 126 61
-328 143 137 127 64
-329 66 144 128 139
-330 102 103 95 96
-331 103 96 118 129
-332 104 97 119 130
-333 113 38 39 85
-334 132 124 73 86
-335 133 74 87 131
-336 102 138 95 65
-337 91 103 150 96
-338 92 104 151 97
-339 132 47 124 108
-340 133 48 109 131
-341 110 134 170 141
-342 111 135 159 192
-343 112 136 180 193
-344 79 114 107 32
-345 122 147 71 61
-346 156 137 148 64
-347 66 157 149 139
-348 121 155 73 86
-349 123 158 74 87
-350 110 111 159 170
-351 111 159 160 172
-352 112 180 161 173
-353 132 124 70 98
-354 89 79 90 114
-355 99 81 82 117
-356 100 83 162 175
-357 101 84 184 163
-358 99 89 90 82
-359 167 91 150 164
-360 165 92 151 197
-361 143 102 127 95
-362 144 104 128 97
-363 121 155 70 98
-364 100 167 83 164
-365 166 101 168 84
-366 156 102 148 95
-367 157 104 149 97
-368 167 115 105 164
-369 166 168 116 106
-370 110 169 170 185
-371 112 180 171 186
-372 111 145 159 140
-373 134 160 172 141
-374 146 161 173 142
-375 79 81 114 117
-376 118 129 162 175
-377 176 119 130 174
-378 134 145 140 141
-379 134 135 192 141
-380 146 136 193 142
-381 91 150 162 175
-382 176 92 151 174
-383 177 214 152 153
-384 177 178 153 219
-385 154 220 179 215
-386 115 105 162 175
-387 116 106 184 163
-388 110 190 170 195
-389 112 180 191 196
-390 167 118 129 164
-391 165 119 130 197
-392 188 214 182 152
-393 198 177 207 153
-394 154 199 215 208
-395 122 133 147 131
-396 123 125 158 126
-397 133 125 126 131
-398 143 209 200 127
-399 144 201 128 217
-400 135 202 192 204
-401 221 136 203 193
-402 145 169 140 185
-403 146 171 142 186
-404 143 202 127 204
-405 144 128 205 206
-406 145 190 140 195
-407 146 191 196 142
-408 122 123 147 158
-409 156 202 148 204
-410 157 149 205 206
-411 154 214 215 152
-412 187 177 181 153
-413 154 187 181 215
-414 187 188 181 182
-415 198 188 182 207
-416 199 189 183 208
-417 209 200 160 172
-418 210 211 161 173
-419 188 178 182 219
-420 220 189 179 183
-421 209 200 135 192
-422 210 211 136 193
-423 171 226 194 186
-424 212 225 226 194
-425 169 213 224 185
-426 209 156 200 148
-427 157 201 149 217
-428 189 214 183 152
-429 202 160 204 172
-430 221 203 161 173
-431 171 216 218 186
-432 222 226 194 228
-433 223 169 227 185
-434 176 184 163 174
-435 165 166 168 197
-436 176 166 168 174
-437 178 213 224 219
-438 220 179 212 225
-439 187 189 181 183
-440 165 184 163 197
-441 190 223 227 195
-442 191 226 194 196
-443 191 216 196 218
-444 222 216 228 218
-445 198 223 227 207
-446 199 222 228 208
-447 212 225 216 218
-448 190 213 224 195
-449 178 223 227 219
-450 220 222 179 228
-451 221 203 205 206
-452 198 213 224 207
-453 199 212 225 208
-454 210 211 205 206
-455 210 211 201 217
-456 221 201 203 217
0