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