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