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