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