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