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