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