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