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