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