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