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