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