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