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