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