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