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