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