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