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