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