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