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