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