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