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