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