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