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