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