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