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