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