fork download
copy 
  1. //This program is Problem10.c
  2.  
  3. #include <assert.h>
  4. #include <math.h>
  5. #include <stdio.h> 
  6.  
  7.  
  8.  
  9.  
  10.  
  11.  
  12. #define BOUND 10
  13.  
  14. 	// inputs
  15. 	int inputC = 3;
  16. 	int inputD = 4;
  17. 	int inputE = 5;
  18. 	int inputF = 6;
  19. 	int inputB = 2;
  20.  
  21.  
  22. 	 int a1 = 23;
  23. 	 int a19 = 9;
  24. 	 int a10 = 0;
  25. 	 int a12 = 0;
  26. 	 int a4 = 14;
  27.          int kappa;
  28.  
  29. 	    FILE* fp;
  30.  
  31. // Function to write executed line (blocks)
  32. void logExecutedLine(int lineNumber) {
  33.     if (fp != NULL) {
  34.         fprintf(fp, "%d,", lineNumber);
  35.     }
  36. }
  37.  
  38. void finishLogging() {
  39.     if(fp != NULL) {
  40.         fprintf(fp, "END\n");
  41.         fclose(fp);
  42.     }
  43. }
  44.  
  45.  
  46.     void afl_assert() {
  47.         finishLogging();
  48.         assert(0);
  49.     }   
  50.  
  51. 	int calculate_output(int input) {
  52. logExecutedLine(1);
  53. 		if((((((a10==4) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==8))){
  54. logExecutedLine(2);
  55. 		afl_assert();//return -1;
  56. 		}
  57. 		if((((((a10==2) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==8))){
  58. logExecutedLine(3);
  59. 		afl_assert();//return -1;
  60. 		}
  61. 		if((((((a10==0) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==6))){
  62. logExecutedLine(4);
  63. 		afl_assert();//return -1;
  64. 		}
  65. 		if((((((a10==2) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==8))){
  66. logExecutedLine(5);
  67. 		afl_assert();//return -1;
  68. 		}
  69. 		if((((((a10==4) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==6))){
  70. logExecutedLine(6);
  71. 		afl_assert();//return -1;
  72. 		}
  73. 		if((((((a10==2) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==7))){
  74. logExecutedLine(7);
  75. 		afl_assert();//return -1;
  76. 		}
  77. 		if((((((a10==3) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==6))){
  78. logExecutedLine(8);
  79. 		afl_assert();//return -1;
  80. 		}
  81. 		if((((((a10==4) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==8))){
  82. logExecutedLine(9);
  83. 		afl_assert();//return -1;
  84. 		}
  85. 		if((((((a10==1) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==7))){
  86. logExecutedLine(10);
  87. 		afl_assert();//return -1;
  88. 		}
  89. 		if((((((a10==2) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==7))){
  90. logExecutedLine(11);
  91. 		afl_assert();//return -1;
  92. 		}
  93. 		if((((((a10==1) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==7))){
  94. logExecutedLine(12);
  95. 		afl_assert();//return -1;
  96. 		}
  97. 		if((((((a10==0) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==8))){
  98. logExecutedLine(13);
  99. 		afl_assert();//return -1;
  100. 		}
  101. 		if((((((a10==4) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==8))){
  102. logExecutedLine(14);
  103. 		afl_assert();//return -1;
  104. 		}
  105. 		if((((((a10==2) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==8))){
  106. logExecutedLine(15);
  107. 		afl_assert();//return -1;
  108. 		}
  109. 		if((((((a10==0) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==8))){
  110. logExecutedLine(16);
  111. 		afl_assert();//return -1;
  112. 		}
  113. 		if((((((a10==1) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==8))){
  114. logExecutedLine(17);
  115. 		afl_assert();//return -1;
  116. 		}
  117. 		if((((((a10==2) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==8))){
  118. logExecutedLine(18);
  119. 		afl_assert();//return -1;
  120. 		}
  121. 		if((((((a10==4) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==8))){
  122. logExecutedLine(19);
  123. 		afl_assert();//return -1;
  124. 		}
  125. 		if((((((a10==1) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==6))){
  126. logExecutedLine(20);
  127. 		afl_assert();//return -1;
  128. 		}
  129. 		if((((((a10==3) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==7))){
  130. logExecutedLine(21);
  131. 		afl_assert();//return -1;
  132. 		}
  133. 		if((((((a10==0) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==8))){
  134. logExecutedLine(22);
  135. 		afl_assert();//return -1;
  136. 		}
  137. 		if((((((a10==0) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==7))){
  138. logExecutedLine(23);
  139. 		afl_assert();//return -1;
  140. 		}
  141. 		if((((((a10==0) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==7))){
  142. logExecutedLine(24);
  143. 		afl_assert();//return -1;
  144. 		}
  145. 		if((((((a10==0) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==7))){
  146. logExecutedLine(25);
  147. 		afl_assert();//return -1;
  148. 		}
  149. 		if((((((a10==4) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==6))){
  150. logExecutedLine(26);
  151. 		afl_assert();//return -1;
  152. 		}
  153. 		if((((((a10==3) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==6))){
  154. logExecutedLine(27);
  155. 		afl_assert();//return -1;
  156. 		}
  157. 		if((((((a10==4) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==7))){
  158. logExecutedLine(28);
  159. 		afl_assert();//return -1;
  160. 		}
  161. 		if((((((a10==4) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==6))){
  162. logExecutedLine(29);
  163. 		afl_assert();//return -1;
  164. 		}
  165. 		if((((((a10==2) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==7))){
  166. logExecutedLine(30);
  167. 		afl_assert();//return -1;
  168. 		}
  169. 		if((((((a10==1) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==8))){
  170. logExecutedLine(31);
  171. 		afl_assert();//return -1;
  172. 		}
  173. 		if((((((a10==1) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==6))){
  174. logExecutedLine(32);
  175. 		afl_assert();//return -1;
  176. 		}
  177. 		if((((((a10==0) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==7))){
  178. logExecutedLine(33);
  179. 		afl_assert();//return -1;
  180. 		}
  181. 		if((((((a10==1) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==8))){
  182. logExecutedLine(34);
  183. 		afl_assert();//return -1;
  184. 		}
  185. 		if((((((a10==4) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==7))){
  186. logExecutedLine(35);
  187. 		afl_assert();//return -1;
  188. 		}
  189. 		if((((((a10==2) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==6))){
  190. logExecutedLine(36);
  191. 		afl_assert();//return -1;
  192. 		}
  193. 		if((((((a10==3) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==8))){
  194. logExecutedLine(37);
  195. 		afl_assert();//return -1;
  196. 		}
  197. 		if((((((a10==3) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==8))){
  198. logExecutedLine(38);
  199. 		afl_assert();//return -1;
  200. 		}
  201. 		if((((((a10==3) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==7))){
  202. logExecutedLine(39);
  203. 		afl_assert();//return -1;
  204. 		}
  205. 		if((((((a10==3) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==7))){
  206. logExecutedLine(40);
  207. 		afl_assert();//return -1;
  208. 		}
  209. 		if((((((a10==2) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==6))){
  210. logExecutedLine(41);
  211. 		afl_assert();//return -1;
  212. 		}
  213. 		if((((((a10==1) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==7))){
  214. logExecutedLine(42);
  215. 		afl_assert();//return -1;
  216. 		}
  217. 		if((((((a10==0) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==6))){
  218. logExecutedLine(43);
  219. 		afl_assert();//return -1;
  220. 		}
  221. 		if((((((a10==2) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==6))){
  222. logExecutedLine(44);
  223. 		afl_assert();//return -1;
  224. 		}
  225. 		if((((((a10==0) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==8))){
  226. logExecutedLine(45);
  227. 		afl_assert();//return -1;
  228. 		}
  229. 		if((((((a10==3) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==8))){
  230. logExecutedLine(46);
  231. 		afl_assert();//return -1;
  232. 		}
  233. 		if((((((a10==4) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==7))){
  234. logExecutedLine(47);
  235. 		afl_assert();//return -1;
  236. 		}
  237. 		if((((((a10==1) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==6))){
  238. logExecutedLine(48);
  239. 		afl_assert();//return -1;
  240. 		}
  241. 		if((((((a10==0) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==6))){
  242. logExecutedLine(49);
  243. 		afl_assert();//return -1;
  244. 		}
  245. 		if((((((a10==4) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==7))){
  246. logExecutedLine(50);
  247. 		afl_assert();//return -1;
  248. 		}
  249. 		if((((((a10==3) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==6))){
  250. logExecutedLine(51);
  251. 		afl_assert();//return -1;
  252. 		}
  253. 		if((((((a10==2) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==6))){
  254. logExecutedLine(52);
  255. 		afl_assert();//return -1;
  256. 		}
  257. 		if((((((a10==1) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==8))){
  258. logExecutedLine(53);
  259. 		afl_assert();//return -1;
  260. 		}
  261. 		if((((((a10==4) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==6))){
  262. logExecutedLine(54);
  263. 		afl_assert();//return -1;
  264. 		}
  265. 		if((((((a10==0) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==6))){
  266. logExecutedLine(55);
  267. 		afl_assert();//return -1;
  268. 		}
  269. 		if((((((a10==2) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==7))){
  270. logExecutedLine(56);
  271. 		afl_assert();//return -1;
  272. 		}
  273. 		if((((((a10==3) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==6))){
  274. logExecutedLine(57);
  275. 		afl_assert();//return -1;
  276. 		}
  277. 		if((((((a10==3) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==8))){
  278. logExecutedLine(58);
  279. 		afl_assert();//return -1;
  280. 		}
  281. 		if((((((a10==3) && (a12==0)) &&  218 < a1 ) && (a4==14)) && (a19==7))){
  282. logExecutedLine(59);
  283. 		afl_assert();//return -1;
  284. 		}
  285. 		if((((((a10==1) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14)) && (a19==7))){
  286. logExecutedLine(60);
  287. 		afl_assert();//return -1;
  288. 		}
  289. 		if((((((a10==0) && (a12==0)) &&  a1 <=  -13 ) && (a4==14)) && (a19==9))){
  290. logExecutedLine(61);
  291. 		afl_assert();//return -1;
  292. 		}
  293. 		if((((((a10==1) && (a12==0)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14)) && (a19==6))){
  294. logExecutedLine(62);
  295. 		afl_assert();//return -1;
  296. 		}
  297.  
  298. 	    if((((a10==4) && ( 218 < a1  && (((input == 4) && (a12==0)) && (a4==14)))) && (a19==9))){
  299. logExecutedLine(63);
  300.  
  301. 	    		a10 = 1; 
  302.  
  303. 	    	 return 24;
  304. 	    } else if(((a4==14) && (((a12==0) && (((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 4)) && (a19==9))) && (a10==0)))){
  305. logExecutedLine(64);
  306. 	    	a1 = (((a1 + -15535) - 211896) / 5);
  307. 	    		a10 = 2; 
  308.  
  309. 	    	 return 22;
  310. 	    } else if(((((a4==14) && ((a19==10) && ((a10==1) && (input == 2)))) && (a12==0)) &&  218 < a1 )){
  311. logExecutedLine(65);
  312.  
  313. 	    		a19 = 9; 
  314.  
  315. 	    	 return 22;
  316. 	    } else if(((a12==0) && ((a19==9) && ((a10==1) && (( 218 < a1  && (input == 3)) && (a4==14)))))){
  317. logExecutedLine(66);
  318.  
  319. 	    		a19 = 10; 
  320.  
  321. 	    	 return 25;
  322. 	    } else if(((a19==10) && (((a4==14) && (((((a10==0) &&   ((38 < a1) && (218 >= a1)) ) || ((a10==0) &&  218 < a1 )) || ((a10==1) &&  a1 <=  -13 )) && (input == 5))) && (a12==0)))){
  323. logExecutedLine(67);
  324. 	    	a1 = (((((a1 - 0) * 9)/ 10) % 25)- -12);
  325. 	    		a10 = 2; 
  326. 	    		a19 = 8; 
  327.  
  328. 	    	 afl_assert();//return -1;
  329. 	    } else if(((a12==0) && ((a19==9) && (((a4==14) && ((input == 2) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ))) && (a10==3))))){
  330. logExecutedLine(68);
  331. 	    	a1 = (((a1 + 513169) / 5) - -374179);
  332. 	    		a10 = 0; 
  333.  
  334. 	    	 return 26;
  335. 	    } else if(((a12==0) && ((((a4==14) && ((input == 3) && ( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) ))) && (a10==2)) && (a19==9)))){
  336. logExecutedLine(69);
  337. 	    	a1 = (((((a1 % 299993)+ -300005) * 1) + 533674) - 533676);
  338. 	    	 return 22;
  339. 	    } else if((((a12==0) && (  ((-13 < a1) && (38 >= a1))  && (((input == 3) && (a19==10)) && (a4==14)))) && (a10==1))){
  340. logExecutedLine(70);
  341. 	    	a1 = ((((a1 - -221565) * 10)/ 9) / 5);
  342. 	    		a19 = 9; 
  343.  
  344. 	    	 return 22;
  345. 	    } else if((((a19==9) && (((input == 6) && (( 218 < a1  && (a10==0)) || ( a1 <=  -13  && (a10==1)))) && (a4==14))) && (a12==0))){
  346. logExecutedLine(71);
  347. 	    	a1 = (((((a1 % 25)- -13) - 42605) / 5) - -8517);
  348. 	    		a10 = 3; 
  349.  
  350. 	    	 return 26;
  351. 	    } else if((  ((38 < a1) && (218 >= a1))  && (((a4==14) && ((a19==10) && ((a10==1) && (input == 4)))) && (a12==0)))){
  352. logExecutedLine(72);
  353. 	    	a1 = ((((a1 * 57)/ 10) * 5) * 5);
  354. 	    		a19 = 9; 
  355.  
  356. 	    	 return 24;
  357. 	    } else if((((a4==14) && ((((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 5)) && (a19==9)) && (a12==0))) && (a10==0))){
  358. logExecutedLine(73);
  359. 	    	a1 = (((a1 / 5) + 110755) + 220746);
  360. 	    		a10 = 1; 
  361. 	    		a19 = 8; 
  362.  
  363. 	    	 afl_assert();//return -1;
  364. 	    } else if((((a4==14) && ((((((a10==2) &&   ((38 < a1) && (218 >= a1)) ) || ((a10==2) &&  218 < a1 )) || ( a1 <=  -13  && (a10==3))) && (input == 2)) && (a19==9))) && (a12==0))){
  365. logExecutedLine(74);
  366. 	    	a1 = (((((a1 % 299890)- -300108) + 0) + -140588) + 140590);
  367. 	    		a10 = 0; 
  368.  
  369. 	    	 return 26;
  370. 	    } else if((((a10==1) && (((a12==0) && ((input == 6) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ))) && (a4==14))) && (a19==9))){
  371. logExecutedLine(75);
  372. 	    	a1 = ((((a1 / 5) - -367248) * 1) - 890938);
  373. 	    		a10 = 0; 
  374. 	    		a19 = 10; 
  375.  
  376. 	    	 return 26;
  377. 	    } else if(((((((input == 5) && (a4==14)) &&  218 < a1 ) && (a10==4)) && (a19==9)) && (a12==0))){
  378. logExecutedLine(76);
  379. 	    	a1 = (((((a1 % 25)+ -8) * 5) % 25)+ 13);
  380. 	    		a10 = 1; 
  381. 	    		a19 = 7; 
  382.  
  383. 	    	 afl_assert();//return -1;
  384. 	    } else if(((a19==10) && ((a4==14) && ((a12==0) && ((input == 4) && ((((a10==0) &&   ((38 < a1) && (218 >= a1)) ) || ( 218 < a1  && (a10==0))) || ((a10==1) &&  a1 <=  -13 ))))))){
  385. logExecutedLine(77);
  386. 	    	a1 = ((((a1 % 299993)- 300005) * 1) + -3);
  387. 	    		a10 = 2; 
  388. 	    		a19 = 9; 
  389.  
  390. 	    	 return 24;
  391. 	    } else if((((a12==0) && ((((a19==9) && (input == 4)) &&  218 < a1 ) && (a10==1))) && (a4==14))){
  392. logExecutedLine(78);
  393.  
  394. 	    	 return 22;
  395. 	    } else if(((a10==1) && ((a4==14) && ((((a12==0) && (input == 2)) && (a19==9)) &&  218 < a1 )))){
  396. logExecutedLine(79);
  397. 	    	a1 = ((((((a1 % 89)+ 74) - -21) * 5) % 89)- -118);
  398. 	    		a19 = 10; 
  399.  
  400. 	    	 return 25;
  401. 	    } else if((((a4==14) && (((input == 4) && (((  ((38 < a1) && (218 >= a1))  && (a10==2)) || ((a10==2) &&  218 < a1 )) || ( a1 <=  -13  && (a10==3)))) && (a19==9))) && (a12==0))){
  402. logExecutedLine(80);
  403. 	    	a1 = (((a1 / 5) - -435872) + 13710);
  404. 	    		a10 = 0; 
  405.  
  406. 	    	 afl_assert();//return -1;
  407. 	    } else if(((((a12==0) && ((((a10==0) &&  218 < a1 ) || ((a10==1) &&  a1 <=  -13 )) && (input == 2))) && (a19==9)) && (a4==14))){
  408. logExecutedLine(81);
  409. 	    	a1 = ((((((a1 * 9)/ 10) % 299993)+ -300005) / 5) + -75819);
  410. 	    		a10 = 4; 
  411.  
  412. 	    	 return 26;
  413. 	    } else if((((a4==14) && ((a12==0) && ((input == 3) && (((a10==3) &&  218 < a1 ) || ( a1 <=  -13  && (a10==4)))))) && (a19==9))){
  414. logExecutedLine(82);
  415. 	    	a1 = ((((a1 - 0) - 0) / 5) - 247106);
  416. 	    		a10 = 4; 
  417.  
  418. 	    	 afl_assert();//return -1;
  419. 	    } else if((((((a10==1) && ((a12==0) && (input == 6))) && (a19==10)) &&   ((-13 < a1) && (38 >= a1)) ) && (a4==14))){
  420. logExecutedLine(83);
  421. 	    	a1 = (((a1 / 5) - 367764) - -191971);
  422. 	    		a10 = 2; 
  423. 	    		a19 = 9; 
  424.  
  425. 	    	 return 24;
  426. 	    } else if(((a19==9) && (((a10==4) && ( 218 < a1  && ((a4==14) && (input == 6)))) && (a12==0)))){
  427. logExecutedLine(84);
  428.  
  429. 	    		a19 = 8; 
  430.  
  431. 	    	 afl_assert();//return -1;
  432. 	    } else if((((a10==0) && ((a12==0) && (((input == 4) && ( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) )) && (a19==10)))) && (a4==14))){
  433. logExecutedLine(85);
  434. 	    	a1 = ((((a1 % 25)+ 13) / 5) - -2);
  435. 	    	 return 26;
  436. 	    } else if(((a19==9) && ((((a4==14) && ((input == 2) && ( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) ))) && (a12==0)) && (a10==2)))){
  437. logExecutedLine(86);
  438. 	    	a1 = ((((a1 % 299993)+ -300005) * 1) + -1);
  439. 	    	 return 25;
  440. 	    } else if((((((a12==0) && ((input == 4) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ))) && (a19==9)) && (a4==14)) && (a10==3))){
  441. logExecutedLine(87);
  442. 	    	a1 = (((a1 * 5) - 196556) + 94277);
  443. 	    	 afl_assert();//return -1;
  444. 	    } else if((((a4==14) && (((a12==0) && ( 218 < a1  && (input == 6))) && (a19==10))) && (a10==1))){
  445. logExecutedLine(88);
  446. 	    	a1 = (((a1 - 600149) - 12) + -58);
  447. 	    	 afl_assert();//return -1;
  448. 	    } else if(((((((input == 2) && ( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) )) && (a19==10)) && (a10==0)) && (a4==14)) && (a12==0))){
  449. logExecutedLine(89);
  450. 	    	a1 = ((((a1 % 299890)+ 300108) - -1) + 0);
  451. 	    		a10 = 4; 
  452. 	    		a19 = 9; 
  453.  
  454. 	    	 afl_assert();//return -1;
  455. 	    } else if((((((( 218 < a1  && (a10==0)) || ((a10==1) &&  a1 <=  -13 )) && (input == 3)) && (a4==14)) && (a12==0)) && (a19==9))){
  456. logExecutedLine(90);
  457. 	    	a1 = ((((((a1 / 5) % 25)+ 13) * 5) % 25)- -12);
  458. 	    		a10 = 4; 
  459.  
  460. 	    	 return 22;
  461. 	    } else if(((a12==0) && ((a19==9) && (((input == 6) && (((a10==3) &&  218 < a1 ) || ( a1 <=  -13  && (a10==4)))) && (a4==14))))){
  462. logExecutedLine(91);
  463. 	    	a1 = ((((a1 + 0) % 299890)+ 300108) + 0);
  464. 	    		a10 = 2; 
  465.  
  466. 	    	 afl_assert();//return -1;
  467. 	    } else if((((a10==3) && (((a19==9) && ((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 5))) && (a12==0))) && (a4==14))){
  468. logExecutedLine(92);
  469. 	    	a1 = ((((a1 - 287698) - 189392) % 89)+ 206);
  470. 	    		a10 = 2; 
  471. 	    		a19 = 7; 
  472.  
  473. 	    	 afl_assert();//return -1;
  474. 	    } else if((((a12==0) && ((a10==1) && ( 218 < a1  && ((a19==9) && (input == 6))))) && (a4==14))){
  475. logExecutedLine(93);
  476.  
  477. 	    	 return 24;
  478. 	    } else if(((a10==0) && ((a12==0) && (((( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) ) && (input == 3)) && (a19==10)) && (a4==14))))){
  479. logExecutedLine(94);
  480. 	    	a1 = (((((a1 % 25)+ 13) - 1) + -16025) - -16025);
  481. 	    	 afl_assert();//return -1;
  482. 	    } else if((((a10==4) && ((((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 4)) && (a4==14)) && (a19==9))) && (a12==0))){
  483. logExecutedLine(95);
  484. 	    	a1 = (((((a1 - -249982) + 317100) * 1) % 89)- -62);
  485. 	    	 afl_assert();//return -1;
  486. 	    } else if(((a4==14) && ((a10==1) && ((a19==9) && ((a12==0) && ((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 4))))))){
  487. logExecutedLine(96);
  488. 	    	a1 = ((((a1 - 46038) + -455425) * 10)/ 9);
  489. 	    		a19 = 10; 
  490.  
  491. 	    	 return 24;
  492. 	    } else if(((a4==14) && ((a19==9) && (((( a1 <=  -13  && (a10==3)) || ((  ((38 < a1) && (218 >= a1))  && (a10==2)) || ((a10==2) &&  218 < a1 ))) && (input == 3)) && (a12==0))))){
  493. logExecutedLine(97);
  494. 	    	a1 = ((((a1 % 299890)- -300108) + 1) * 1);
  495. 	    		a10 = 0; 
  496.  
  497. 	    	 afl_assert();//return -1;
  498. 	    } else if((((((a4==14) && ((input == 6) && (a10==1))) && (a12==0)) &&   ((38 < a1) && (218 >= a1)) ) && (a19==10))){
  499. logExecutedLine(98);
  500. 	    	a1 = (((a1 - -320095) * 1) - -173480);
  501. 	    		a19 = 9; 
  502.  
  503. 	    	 afl_assert();//return -1;
  504. 	    } else if(((a4==14) && (((a12==0) && ( 218 < a1  && ((a19==9) && (input == 3)))) && (a10==4)))){
  505. logExecutedLine(99);
  506.  
  507. 	    	 return 24;
  508. 	    } else if((((a4==14) && ((a12==0) && ((((a10==3) &&  218 < a1 ) || ((a10==4) &&  a1 <=  -13 )) && (input == 4)))) && (a19==9))){
  509. logExecutedLine(100);
  510. 	    	a1 = ((((a1 % 89)+ 128) + -1) - 0);
  511. 	    		a10 = 3; 
  512.  
  513. 	    	 afl_assert();//return -1;
  514. 	    } else if((((a12==0) && (((a10==4) && ((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 3))) && (a4==14))) && (a19==9))){
  515. logExecutedLine(101);
  516. 	    	a1 = ((((a1 + -121822) * 4) * 10)/ -9);
  517. 	    		a10 = 3; 
  518.  
  519. 	    	 afl_assert();//return -1;
  520. 	    } else if(((a19==9) && ((a4==14) && (((input == 5) && (((  ((38 < a1) && (218 >= a1))  && (a10==2)) || ((a10==2) &&  218 < a1 )) || ((a10==3) &&  a1 <=  -13 ))) && (a12==0))))){
  521. logExecutedLine(102);
  522. 	    	a1 = ((((a1 % 299890)- -300108) + 2) + 0);
  523. 	    		a10 = 2; 
  524.  
  525. 	    	 return 21;
  526. 	    } else if(((a12==0) && (((a19==9) && ((((a10==0) &&  218 < a1 ) || ( a1 <=  -13  && (a10==1))) && (input == 5))) && (a4==14)))){
  527. logExecutedLine(103);
  528. 	    	a1 = ((((a1 % 299993)- 300005) + -1) - 1);
  529. 	    		a10 = 3; 
  530.  
  531. 	    	 return 21;
  532. 	    } else if(( 218 < a1  && ((((a12==0) && ((a19==9) && (input == 2))) && (a10==4)) && (a4==14)))){
  533. logExecutedLine(104);
  534.  
  535. 	    		a10 = 1; 
  536.  
  537. 	    	 return 22;
  538. 	    } else if((((a12==0) && ((a19==9) && ((((a10==3) &&  a1 <=  -13 ) || (((a10==2) &&   ((38 < a1) && (218 >= a1)) ) || ( 218 < a1  && (a10==2)))) && (input == 6)))) && (a4==14))){
  539. logExecutedLine(105);
  540. 	    	a1 = ((((a1 - 0) % 299890)- -300108) - -1);
  541. 	    		a10 = 2; 
  542.  
  543. 	    	 afl_assert();//return -1;
  544. 	    } else if(((a19==9) && ((a12==0) && (((( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) ) && (input == 5)) && (a4==14)) && (a10==2))))){
  545. logExecutedLine(106);
  546. 	    	a1 = ((((a1 % 299890)+ 300108) * 1) * 1);
  547. 	    		a10 = 0; 
  548. 	    		a19 = 8; 
  549.  
  550. 	    	 afl_assert();//return -1;
  551. 	    } else if((((a10==1) && (((a12==0) && ((a19==10) && (input == 4))) &&   ((-13 < a1) && (38 >= a1)) )) && (a4==14))){
  552. logExecutedLine(107);
  553. 	    	a1 = (((a1 - -575828) - -5011) + 9014);
  554. 	    		a19 = 9; 
  555.  
  556. 	    	 return 24;
  557. 	    } else if(((a12==0) && ((a4==14) && ( 218 < a1  && (((a10==1) && (input == 4)) && (a19==10)))))){
  558. logExecutedLine(108);
  559. 	    	a1 = (((((a1 * 9)/ 10) * -1)/ 10) * 5);
  560. 	    		a10 = 2; 
  561. 	    		a19 = 9; 
  562.  
  563. 	    	 return 24;
  564. 	    } else if(((((((input == 3) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) )) && (a10==0)) && (a19==9)) && (a4==14)) && (a12==0))){
  565. logExecutedLine(109);
  566. 	    	a1 = ((((a1 / 5) * 5) / 5) + 505228);
  567. 	    		a10 = 1; 
  568.  
  569. 	    	 return 25;
  570. 	    } else if((((a4==14) && (((( a1 <=  -13  && (a10==1)) || (((a10==0) &&   ((38 < a1) && (218 >= a1)) ) || ( 218 < a1  && (a10==0)))) && (input == 6)) && (a19==10))) && (a12==0))){
  571. logExecutedLine(110);
  572. 	    	a1 = (((((a1 * 9)/ 10) % 299993)+ -300005) - 1);
  573. 	    		a10 = 2; 
  574. 	    		a19 = 9; 
  575.  
  576. 	    	 return 24;
  577. 	    } else if(((a19==9) && ((((input == 4) && (( 218 < a1  && (a10==0)) || ((a10==1) &&  a1 <=  -13 ))) && (a12==0)) && (a4==14)))){
  578. logExecutedLine(111);
  579. 	    	a1 = (((((a1 / 5) % 89)- -128) / 5) + 34);
  580. 	    		a10 = 0; 
  581. 	    		a19 = 8; 
  582.  
  583. 	    	 afl_assert();//return -1;
  584. 	    } else if((((a19==10) && ((a12==0) && ((((a10==1) &&  a1 <=  -13 ) || ((  ((38 < a1) && (218 >= a1))  && (a10==0)) || ((a10==0) &&  218 < a1 ))) && (input == 3)))) && (a4==14))){
  585. logExecutedLine(112);
  586. 	    	a1 = ((((a1 % 299993)- 300005) - 0) - 2);
  587. 	    		a10 = 2; 
  588. 	    		a19 = 9; 
  589.  
  590. 	    	 return 22;
  591. 	    } else if(((a19==9) && (((a4==14) && ((((a10==3) &&  218 < a1 ) || ( a1 <=  -13  && (a10==4))) && (input == 5))) && (a12==0)))){
  592. logExecutedLine(113);
  593. 	    	a1 = ((((((a1 % 25)- -12) - 0) * 5) % 25)- -13);
  594. 	    		a10 = 3; 
  595. 	    		a19 = 6; 
  596.  
  597. 	    	 afl_assert();//return -1;
  598. 	    } else if((((a12==0) && ((((input == 5) && (a19==10)) &&   ((38 < a1) && (218 >= a1)) ) && (a4==14))) && (a10==1))){
  599. logExecutedLine(114);
  600. 	    	a1 = ((((a1 + 381077) % 25)- -1) / 5);
  601. 	    		a10 = 2; 
  602. 	    		a19 = 7; 
  603.  
  604. 	    	 afl_assert();//return -1;
  605. 	    } else if(((a19==9) && ((a4==14) && ((((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 3)) && (a10==1)) && (a12==0))))){
  606. logExecutedLine(115);
  607. 	    	a1 = (((a1 / 5) + 105416) + 61704);
  608. 	    		a10 = 4; 
  609.  
  610. 	    	 return 24;
  611. 	    } else if(((a10==0) && ((a12==0) && ((((input == 5) && ( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) )) && (a19==10)) && (a4==14))))){
  612. logExecutedLine(116);
  613. 	    	a1 = (((((a1 % 299890)+ 300108) - -1) + -309315) - -309317);
  614. 	    		a10 = 1; 
  615. 	    		a19 = 7; 
  616.  
  617. 	    	 afl_assert();//return -1;
  618. 	    } else if(( 218 < a1  && (((((input == 3) && (a10==1)) && (a12==0)) && (a4==14)) && (a19==10)))){
  619. logExecutedLine(117);
  620. 	    	a1 = ((((a1 % 25)- 10) - 1) / 5);
  621. 	    		a10 = 0; 
  622.  
  623. 	    	 afl_assert();//return -1;
  624. 	    } else if((((a12==0) && ((a19==9) && (((input == 3) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) )) && (a4==14)))) && (a10==3))){
  625. logExecutedLine(118);
  626. 	    	a1 = ((((a1 - -133866) + -357620) / 5) + 265622);
  627. 	    		a10 = 0; 
  628.  
  629. 	    	 afl_assert();//return -1;
  630. 	    } else if((((((a4==14) && (  ((38 < a1) && (218 >= a1))  && (input == 2))) && (a12==0)) && (a10==1)) && (a19==10))){
  631. logExecutedLine(119);
  632. 	    	a1 = ((((a1 * 10)/ -9) * 5) - 333686);
  633. 	    		a10 = 4; 
  634. 	    		a19 = 6; 
  635.  
  636. 	    	 afl_assert();//return -1;
  637. 	    } else if((((a19==10) && ((a10==1) && ((a12==0) && (  ((-13 < a1) && (38 >= a1))  && (input == 5))))) && (a4==14))){
  638. logExecutedLine(120);
  639. 	    	a1 = (((a1 + -283353) / 5) + -495232);
  640. 	    		a10 = 0; 
  641. 	    		a19 = 6; 
  642.  
  643. 	    	 afl_assert();//return -1;
  644. 	    } else if(((((a10==1) && (((input == 5) &&  218 < a1 ) && (a4==14))) && (a19==10)) && (a12==0))){
  645. logExecutedLine(121);
  646. 	    	a1 = (((((a1 % 89)- -93) * 5) % 89)- -56);
  647. 	    		a10 = 4; 
  648. 	    		a19 = 8; 
  649.  
  650. 	    	 afl_assert();//return -1;
  651. 	    } else if((((a4==14) && ((a19==9) && ((input == 2) && (((a10==3) &&  218 < a1 ) || ((a10==4) &&  a1 <=  -13 ))))) && (a12==0))){
  652. logExecutedLine(122);
  653. 	    	a1 = ((((a1 % 299993)+ -300005) - 1) - 1);
  654. 	    		a10 = 1; 
  655.  
  656. 	    	 afl_assert();//return -1;
  657. 	    } else if((((a4==14) && (((a19==9) && ((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 2))) && (a12==0))) && (a10==4))){
  658. logExecutedLine(123);
  659. 	    	a1 = (((((a1 % 89)+ 129) - 1134) * -1)/ 10);
  660. 	    		a10 = 3; 
  661.  
  662. 	    	 afl_assert();//return -1;
  663. 	    } else if(((a4==14) && (((a19==9) && (((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 6)) && (a10==3))) && (a12==0)))){
  664. logExecutedLine(124);
  665. 	    	a1 = (((a1 - 559222) + -11915) - 28339);
  666. 	    		a10 = 1; 
  667.  
  668. 	    	 afl_assert();//return -1;
  669. 	    } else if((((a4==14) && ((((input == 6) && ( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) )) && (a19==10)) && (a12==0))) && (a10==0))){
  670. logExecutedLine(125);
  671. 	    	a1 = (((((a1 + 0) % 299993)- 300005) / 5) - 292229);
  672. 	    	 afl_assert();//return -1;
  673. 	    } else if(((a12==0) && ((a4==14) && (((( a1 <=  -13  && (a10==1)) || (((a10==0) &&   ((38 < a1) && (218 >= a1)) ) || ( 218 < a1  && (a10==0)))) && (input == 2)) && (a19==10))))){
  674. logExecutedLine(126);
  675. 	    	a1 = ((((a1 % 25)+ 12) - -2) / 5);
  676. 	    		a10 = 2; 
  677. 	    		a19 = 9; 
  678.  
  679. 	    	 return 22;
  680. 	    } else if((((a12==0) && ((a19==9) && ((a10==2) && ((input == 6) && ( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) ))))) && (a4==14))){
  681. logExecutedLine(127);
  682. 	    	a1 = ((((a1 / 5) % 25)+ 13) / 5);
  683. 	    	 return 25;
  684. 	    } else if(((a4==14) && ((a19==9) && ((a12==0) && (((input == 2) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) )) && (a10==0)))))){
  685. logExecutedLine(128);
  686. 	    	a1 = (((a1 * 5) + 278443) - -239546);
  687. 	    	 return 26;
  688. 	    } else if(((a19==9) && (((a10==1) && ((a12==0) && ((input == 2) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) )))) && (a4==14)))){
  689. logExecutedLine(129);
  690. 	    	a1 = (((((a1 * 5) + 59655) * 5) % 25)+ 12);
  691. 	    		a19 = 10; 
  692.  
  693. 	    	 return 26;
  694. 	    } else if(((a19==9) && ((a4==14) && ((a10==1) && (((input == 5) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) )) && (a12==0)))))){
  695. logExecutedLine(130);
  696. 	    	a1 = (((a1 + -438195) * 1) * 1);
  697. 	    		a10 = 2; 
  698. 	    		a19 = 8; 
  699.  
  700. 	    	 afl_assert();//return -1;
  701. 	    } else if(((a12==0) && (((((input == 6) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) )) && (a19==9)) && (a4==14)) && (a10==0)))){
  702. logExecutedLine(131);
  703. 	    	a1 = (((((a1 + -272193) - -47605) - -570122) % 89)+ 110);
  704. 	    		a10 = 1; 
  705.  
  706. 	    	 return 25;
  707. 	    } else if(((a4==14) && (((a12==0) && ((a19==9) && ((input == 6) && (  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) )))) && (a10==4)))){
  708. logExecutedLine(132);
  709. 	    	a1 = (((((a1 - 44798) + -168742) * 2) % 89)+ 207);
  710. 	    	 afl_assert();//return -1;
  711. 	    } else if((((((  ((38 < a1) && (218 >= a1))  && (input == 3)) && (a10==1)) && (a12==0)) && (a4==14)) && (a19==10))){
  712. logExecutedLine(133);
  713. 	    	a1 = ((((a1 * 5) - -287099) - 723016) + 616783);
  714. 	    		a10 = 4; 
  715. 	    		a19 = 9; 
  716.  
  717. 	    	 afl_assert();//return -1;
  718. 	    } else if((((a4==14) && (((( a1 <=  -13  ||   ((-13 < a1) && (38 >= a1)) ) && (input == 4)) && (a12==0)) && (a19==9))) && (a10==2))){
  719. logExecutedLine(134);
  720. 	    	a1 = ((((a1 % 299993)- 300005) * 1) - 3);
  721. 	    	 return 24;
  722. 	    } else if(((a12==0) && ((( 218 < a1  && ((a19==9) && (input == 5))) && (a10==1)) && (a4==14)))){
  723. logExecutedLine(135);
  724. 	    	a1 = ((((a1 * 9)/ 10) + 58620) - 603783);
  725. 	    		a10 = 4; 
  726. 	    		a19 = 8; 
  727.  
  728. 	    	 afl_assert();//return -1;
  729. 	    } else if(((a4==14) && (((((  ((-13 < a1) && (38 >= a1))  ||   ((38 < a1) && (218 >= a1)) ) && (input == 5)) && (a12==0)) && (a19==9)) && (a10==4)))){
  730. logExecutedLine(136);
  731. 	    	a1 = (((a1 + 566454) + 1842) + 23814);
  732. 	    		a10 = 2; 
  733. 	    		a19 = 8; 
  734.  
  735. 	    	 afl_assert();//return -1;
  736. 	    } else if(((a12==0) && ((((a10==1) && (  ((-13 < a1) && (38 >= a1))  && (input == 2))) && (a4==14)) && (a19==10)))){
  737. logExecutedLine(137);
  738.  
  739. 	    	 return 26;
  740. 	    } 
  741. 	    return -2;
  742. 	}
  743.  
  744. int input, output;
  745.  
  746. int main()
  747. {
  748. logExecutedLine(138); 
  749. kappa = 0;
  750.     // default output
  751.     output = -1;
  752.  
  753.     // main i/o-loop
  754.    int symb;
  755.    for (int FLAG=0;FLAG<BOUND;FLAG++)
  756.     {
  757. logExecutedLine(139);
  758.     scanf("%d", &symb);
  759.  
  760.         // operate eca engine
  761.         output = calculate_output(symb);
  762.  
  763.     }
  764. 	finishLogging();
  765.  
  766.  return 0;
  767.  
  768. }
  769.  
  770.  
  771.  
Success #stdin #stdout 0s 5252KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/oSVPnX
language:
C++ (gcc 8.3)
created:
13 days ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!