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