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