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