#include "CtuRobots.cpp"

int main(int argc, char **argv)
{
  int i;
  class CtuRobots TheClass;
  double retval;
  int B;
  vector <int> cost;
  vector <int> cap;

  if (argc != 2) { fprintf(stderr, "usage: a.out num\n"); exit(1); }

/*
  B = ;
  cost = ;
  cap = ;
*/


 if (atoi(argv[1]) == 0) {
    B = 100;
    cost.push_back(50);
    cost.push_back(25);
    cap.push_back(1);
    cap.push_back(1);
  }

 if (atoi(argv[1]) == 1) {
    B = 25;
    cost.push_back(23);
    cost.push_back(5);
    cost.push_back(8);
    cost.push_back(20);
    cost.push_back(15);
    cap.push_back(108);
    cap.push_back(30);
    cap.push_back(42);
    cap.push_back(100);
    cap.push_back(94);
  }

 if (atoi(argv[1]) == 2) {
    B = 1382;
    cost.push_back(0);
    cost.push_back(0);
    cost.push_back(0);
    cost.push_back(1000);
    cost.push_back(1000);
    cost.push_back(0);
    cost.push_back(1000);
    cost.push_back(0);
    cap.push_back(2039);
    cap.push_back(4819);
    cap.push_back(5923);
    cap.push_back(1577);
    cap.push_back(8749);
    cap.push_back(9182);
    cap.push_back(3652);
    cap.push_back(4918);
  }

 if (atoi(argv[1]) == 3) {
    B = 209;
    cost.push_back(185);
    cost.push_back(130);
    cost.push_back(109);
    cost.push_back(1);
    cost.push_back(45);
    cost.push_back(117);
    cost.push_back(127);
    cost.push_back(13);
    cost.push_back(2);
    cost.push_back(37);
    cost.push_back(6);
    cost.push_back(1);
    cost.push_back(2);
    cap.push_back(93);
    cap.push_back(5);
    cap.push_back(278);
    cap.push_back(4);
    cap.push_back(20);
    cap.push_back(54);
    cap.push_back(93);
    cap.push_back(213);
    cap.push_back(103);
    cap.push_back(5);
    cap.push_back(225);
    cap.push_back(32);
    cap.push_back(5);
  }

 if (atoi(argv[1]) == 4) {
    B = 9956;
    cost.push_back(3229);
    cost.push_back(736);
    cost.push_back(1325);
    cost.push_back(2680);
    cost.push_back(410);
    cost.push_back(1227);
    cost.push_back(1378);
    cost.push_back(499);
    cost.push_back(1525);
    cost.push_back(1722);
    cost.push_back(1262);
    cost.push_back(2080);
    cost.push_back(2581);
    cost.push_back(1505);
    cost.push_back(1019);
    cost.push_back(480);
    cost.push_back(3155);
    cost.push_back(836);
    cost.push_back(2697);
    cost.push_back(616);
    cost.push_back(136);
    cost.push_back(2032);
    cost.push_back(2345);
    cost.push_back(3154);
    cost.push_back(1953);
    cost.push_back(1654);
    cost.push_back(344);
    cost.push_back(3079);
    cost.push_back(1426);
    cost.push_back(199);
    cost.push_back(2857);
    cost.push_back(1714);
    cost.push_back(2952);
    cost.push_back(996);
    cost.push_back(1567);
    cost.push_back(2674);
    cost.push_back(2054);
    cost.push_back(2110);
    cost.push_back(949);
    cost.push_back(2412);
    cost.push_back(2148);
    cost.push_back(1016);
    cost.push_back(234);
    cost.push_back(1932);
    cost.push_back(1554);
    cost.push_back(1943);
    cost.push_back(1625);
    cost.push_back(1266);
    cost.push_back(258);
    cost.push_back(2924);
    cost.push_back(49);
    cost.push_back(1693);
    cost.push_back(3140);
    cost.push_back(309);
    cost.push_back(557);
    cost.push_back(12);
    cost.push_back(2760);
    cost.push_back(227);
    cost.push_back(2497);
    cost.push_back(330);
    cost.push_back(646);
    cost.push_back(1935);
    cost.push_back(3032);
    cost.push_back(2671);
    cost.push_back(2433);
    cost.push_back(164);
    cost.push_back(1472);
    cost.push_back(3080);
    cost.push_back(717);
    cost.push_back(221);
    cost.push_back(2483);
    cost.push_back(1309);
    cost.push_back(1174);
    cost.push_back(12);
    cost.push_back(917);
    cost.push_back(2335);
    cost.push_back(3086);
    cost.push_back(148);
    cost.push_back(64);
    cost.push_back(189);
    cost.push_back(2628);
    cost.push_back(1660);
    cost.push_back(2983);
    cost.push_back(109);
    cost.push_back(1920);
    cost.push_back(2470);
    cap.push_back(934850);
    cap.push_back(214);
    cap.push_back(15807606);
    cap.push_back(2426);
    cap.push_back(176520);
    cap.push_back(1900009);
    cap.push_back(1184867);
    cap.push_back(40550);
    cap.push_back(1774843);
    cap.push_back(2953);
    cap.push_back(77834310);
    cap.push_back(7276);
    cap.push_back(3139890);
    cap.push_back(695);
    cap.push_back(213862217);
    cap.push_back(13);
    cap.push_back(193864);
    cap.push_back(189);
    cap.push_back(557664);
    cap.push_back(1206555);
    cap.push_back(85133);
    cap.push_back(381662);
    cap.push_back(4887);
    cap.push_back(115027);
    cap.push_back(2186890);
    cap.push_back(218075);
    cap.push_back(1);
    cap.push_back(2024);
    cap.push_back(9);
    cap.push_back(95244962);
    cap.push_back(7);
    cap.push_back(906);
    cap.push_back(3485642);
    cap.push_back(52962078);
    cap.push_back(58645759);
    cap.push_back(785706);
    cap.push_back(303);
    cap.push_back(18);
    cap.push_back(189);
    cap.push_back(819600);
    cap.push_back(17528041);
    cap.push_back(11616471);
    cap.push_back(92719012);
    cap.push_back(82351);
    cap.push_back(12752);
    cap.push_back(634);
    cap.push_back(26122233);
    cap.push_back(215485);
    cap.push_back(58);
    cap.push_back(5506810);
    cap.push_back(101874);
    cap.push_back(130429471);
    cap.push_back(2);
    cap.push_back(1);
    cap.push_back(68966);
    cap.push_back(76303);
    cap.push_back(321766922);
    cap.push_back(463);
    cap.push_back(26);
    cap.push_back(225);
    cap.push_back(207);
    cap.push_back(52);
    cap.push_back(1739);
    cap.push_back(246841);
    cap.push_back(496);
    cap.push_back(228);
    cap.push_back(4749453);
    cap.push_back(191);
    cap.push_back(79);
    cap.push_back(10560);
    cap.push_back(1414194);
    cap.push_back(7529);
    cap.push_back(13);
    cap.push_back(521935);
    cap.push_back(1);
    cap.push_back(2);
    cap.push_back(11590618);
    cap.push_back(4020);
    cap.push_back(105);
    cap.push_back(3);
    cap.push_back(28);
    cap.push_back(3);
    cap.push_back(2855);
    cap.push_back(189909573);
    cap.push_back(1);
    cap.push_back(295052);
  }

 if (atoi(argv[1]) == 5) {
    B = 8852;
    cost.push_back(2547);
    cost.push_back(912);
    cost.push_back(2592);
    cost.push_back(1085);
    cost.push_back(296);
    cost.push_back(523);
    cost.push_back(2257);
    cost.push_back(2347);
    cost.push_back(1822);
    cost.push_back(261);
    cost.push_back(334);
    cost.push_back(2159);
    cost.push_back(528);
    cost.push_back(2739);
    cost.push_back(201);
    cost.push_back(964);
    cost.push_back(427);
    cost.push_back(2038);
    cost.push_back(26);
    cost.push_back(2361);
    cost.push_back(234);
    cost.push_back(2063);
    cost.push_back(2885);
    cost.push_back(2178);
    cost.push_back(2708);
    cost.push_back(730);
    cost.push_back(2902);
    cost.push_back(326);
    cost.push_back(306);
    cost.push_back(2794);
    cost.push_back(1725);
    cost.push_back(13);
    cost.push_back(137);
    cost.push_back(2169);
    cost.push_back(388);
    cost.push_back(1124);
    cost.push_back(1464);
    cost.push_back(2120);
    cost.push_back(2357);
    cost.push_back(1544);
    cost.push_back(2794);
    cost.push_back(2260);
    cost.push_back(185);
    cost.push_back(650);
    cost.push_back(2852);
    cost.push_back(124);
    cost.push_back(1767);
    cost.push_back(453);
    cost.push_back(1331);
    cost.push_back(1397);
    cost.push_back(1991);
    cost.push_back(1166);
    cost.push_back(413);
    cost.push_back(1428);
    cost.push_back(2862);
    cost.push_back(1194);
    cost.push_back(1139);
    cost.push_back(571);
    cost.push_back(1299);
    cost.push_back(1232);
    cost.push_back(267);
    cost.push_back(2027);
    cost.push_back(746);
    cost.push_back(1971);
    cost.push_back(2695);
    cost.push_back(2586);
    cost.push_back(185);
    cost.push_back(1319);
    cost.push_back(1088);
    cost.push_back(2818);
    cost.push_back(2604);
    cost.push_back(1798);
    cost.push_back(475);
    cost.push_back(1252);
    cost.push_back(1767);
    cost.push_back(2277);
    cost.push_back(545);
    cost.push_back(601);
    cost.push_back(2160);
    cost.push_back(325);
    cost.push_back(2749);
    cost.push_back(1161);
    cost.push_back(1172);
    cost.push_back(1075);
    cost.push_back(1925);
    cost.push_back(2468);
    cost.push_back(1596);
    cost.push_back(1116);
    cost.push_back(1558);
    cost.push_back(2226);
    cost.push_back(1302);
    cost.push_back(796);
    cost.push_back(775);
    cost.push_back(1105);
    cost.push_back(418);
    cost.push_back(334);
    cost.push_back(2872);
    cost.push_back(1921);
    cost.push_back(2830);
    cost.push_back(2448);
    cost.push_back(2914);
    cost.push_back(2634);
    cost.push_back(1386);
    cost.push_back(2516);
    cost.push_back(492);
    cost.push_back(1029);
    cost.push_back(1134);
    cost.push_back(2934);
    cost.push_back(2017);
    cost.push_back(1741);
    cost.push_back(1675);
    cost.push_back(2593);
    cost.push_back(2233);
    cost.push_back(2401);
    cost.push_back(68);
    cost.push_back(683);
    cost.push_back(2053);
    cost.push_back(155);
    cost.push_back(183);
    cost.push_back(923);
    cost.push_back(2276);
    cost.push_back(1823);
    cost.push_back(65);
    cost.push_back(2290);
    cost.push_back(2448);
    cost.push_back(92);
    cost.push_back(2468);
    cost.push_back(819);
    cost.push_back(837);
    cost.push_back(303);
    cost.push_back(1440);
    cost.push_back(705);
    cost.push_back(291);
    cost.push_back(2348);
    cost.push_back(2562);
    cost.push_back(765);
    cost.push_back(1926);
    cost.push_back(14);
    cost.push_back(2514);
    cost.push_back(2403);
    cost.push_back(2671);
    cost.push_back(1143);
    cost.push_back(1358);
    cost.push_back(121);
    cost.push_back(376);
    cost.push_back(2874);
    cost.push_back(2447);
    cost.push_back(1769);
    cost.push_back(1686);
    cost.push_back(967);
    cost.push_back(967);
    cost.push_back(2492);
    cost.push_back(2472);
    cost.push_back(2014);
    cost.push_back(1686);
    cost.push_back(2291);
    cost.push_back(1093);
    cost.push_back(1801);
    cost.push_back(818);
    cap.push_back(263268);
    cap.push_back(256181);
    cap.push_back(476791);
    cap.push_back(365614);
    cap.push_back(265352);
    cap.push_back(19307);
    cap.push_back(243180);
    cap.push_back(84909);
    cap.push_back(98175);
    cap.push_back(367524);
    cap.push_back(241474);
    cap.push_back(479623);
    cap.push_back(277638);
    cap.push_back(111229);
    cap.push_back(155356);
    cap.push_back(415525);
    cap.push_back(234382);
    cap.push_back(97870);
    cap.push_back(451466);
    cap.push_back(58375);
    cap.push_back(268277);
    cap.push_back(404582);
    cap.push_back(484789);
    cap.push_back(458230);
    cap.push_back(529286);
    cap.push_back(449840);
    cap.push_back(103208);
    cap.push_back(199505);
    cap.push_back(319373);
    cap.push_back(294746);
    cap.push_back(78005);
    cap.push_back(326456);
    cap.push_back(14418);
    cap.push_back(257144);
    cap.push_back(135669);
    cap.push_back(238651);
    cap.push_back(411723);
    cap.push_back(99122);
    cap.push_back(20421);
    cap.push_back(298154);
    cap.push_back(278407);
    cap.push_back(153564);
    cap.push_back(24778);
    cap.push_back(73065);
    cap.push_back(110408);
    cap.push_back(392693);
    cap.push_back(510192);
    cap.push_back(362399);
    cap.push_back(333830);
    cap.push_back(125893);
    cap.push_back(130946);
    cap.push_back(345134);
    cap.push_back(261418);
    cap.push_back(230632);
    cap.push_back(306751);
    cap.push_back(451242);
    cap.push_back(175675);
    cap.push_back(459988);
    cap.push_back(150787);
    cap.push_back(349338);
    cap.push_back(134594);
    cap.push_back(255227);
    cap.push_back(263645);
    cap.push_back(180770);
    cap.push_back(436965);
    cap.push_back(502871);
    cap.push_back(242085);
    cap.push_back(318340);
    cap.push_back(220576);
    cap.push_back(189202);
    cap.push_back(395789);
    cap.push_back(390659);
    cap.push_back(101649);
    cap.push_back(337117);
    cap.push_back(440471);
    cap.push_back(466547);
    cap.push_back(513054);
    cap.push_back(316694);
    cap.push_back(30382);
    cap.push_back(38826);
    cap.push_back(472506);
    cap.push_back(67698);
    cap.push_back(223953);
    cap.push_back(397305);
    cap.push_back(325564);
    cap.push_back(57949);
    cap.push_back(194651);
    cap.push_back(443500);
    cap.push_back(443188);
    cap.push_back(431386);
    cap.push_back(220061);
    cap.push_back(400640);
    cap.push_back(286085);
    cap.push_back(189461);
    cap.push_back(324214);
    cap.push_back(171813);
    cap.push_back(420711);
    cap.push_back(260549);
    cap.push_back(426526);
    cap.push_back(208052);
    cap.push_back(83343);
    cap.push_back(429483);
    cap.push_back(366076);
    cap.push_back(52443);
    cap.push_back(224742);
    cap.push_back(333286);
    cap.push_back(544259);
    cap.push_back(335276);
    cap.push_back(93282);
    cap.push_back(326772);
    cap.push_back(82841);
    cap.push_back(225256);
    cap.push_back(270357);
    cap.push_back(547610);
    cap.push_back(397526);
    cap.push_back(193336);
    cap.push_back(182374);
    cap.push_back(439866);
    cap.push_back(255860);
    cap.push_back(111363);
    cap.push_back(509167);
    cap.push_back(228847);
    cap.push_back(218257);
    cap.push_back(39438);
    cap.push_back(212242);
    cap.push_back(378338);
    cap.push_back(88972);
    cap.push_back(127544);
    cap.push_back(59230);
    cap.push_back(428847);
    cap.push_back(155553);
    cap.push_back(116333);
    cap.push_back(255176);
    cap.push_back(396356);
    cap.push_back(223463);
    cap.push_back(226360);
    cap.push_back(38283);
    cap.push_back(6238);
    cap.push_back(173455);
    cap.push_back(447707);
    cap.push_back(332111);
    cap.push_back(60485);
    cap.push_back(398523);
    cap.push_back(462205);
    cap.push_back(55397);
    cap.push_back(148417);
    cap.push_back(529738);
    cap.push_back(460063);
    cap.push_back(177715);
    cap.push_back(404809);
    cap.push_back(336155);
    cap.push_back(50750);
    cap.push_back(24165);
    cap.push_back(530386);
    cap.push_back(394811);
    cap.push_back(512481);
    cap.push_back(230296);
    cap.push_back(45797);
    cap.push_back(370008);
  }

  retval = TheClass.maxDist(B, cost, cap);
  cout << retval << endl;

  exit(0);
}