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