foldr_reject_incomplete_diag1.svg 34 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!-- Created with Inkscape (http://www.inkscape.org/) -->
  3. <svg
  4. xmlns:dc="http://purl.org/dc/elements/1.1/"
  5. xmlns:cc="http://creativecommons.org/ns#"
  6. xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  7. xmlns:svg="http://www.w3.org/2000/svg"
  8. xmlns="http://www.w3.org/2000/svg"
  9. xmlns:xlink="http://www.w3.org/1999/xlink"
  10. xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
  11. xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
  12. width="1386.1504"
  13. height="1245.453"
  14. id="svg2"
  15. version="1.1"
  16. inkscape:version="0.48.4 r9939"
  17. sodipodi:docname="foldr_reject_incomplete_diag1.svg">
  18. <defs
  19. id="defs4">
  20. <linearGradient
  21. id="linearGradient18419">
  22. <stop
  23. style="stop-color:#808080;stop-opacity:1;"
  24. offset="0"
  25. id="stop18421" />
  26. <stop
  27. style="stop-color:#ffffff;stop-opacity:1;"
  28. offset="1"
  29. id="stop18423" />
  30. </linearGradient>
  31. <linearGradient
  32. id="linearGradient4707">
  33. <stop
  34. id="stop4709"
  35. offset="0"
  36. style="stop-color:#c0c0c0;stop-opacity:1;" />
  37. <stop
  38. style="stop-color:#ffffff;stop-opacity:1;"
  39. offset="0.40000001"
  40. id="stop4711" />
  41. <stop
  42. id="stop4713"
  43. offset="0.60000002"
  44. style="stop-color:#ffffff;stop-opacity:1;" />
  45. <stop
  46. id="stop4715"
  47. offset="1"
  48. style="stop-color:#c0c0c0;stop-opacity:1;" />
  49. </linearGradient>
  50. <linearGradient
  51. id="linearGradient5254-5">
  52. <stop
  53. style="stop-color:#c0c0c0;stop-opacity:1;"
  54. offset="0"
  55. id="stop5256-7" />
  56. <stop
  57. style="stop-color:#808080;stop-opacity:1;"
  58. offset="1"
  59. id="stop5262-7" />
  60. </linearGradient>
  61. <linearGradient
  62. id="linearGradient4707-3">
  63. <stop
  64. id="stop4709-1"
  65. offset="0"
  66. style="stop-color:#c0c0c0;stop-opacity:1;" />
  67. <stop
  68. style="stop-color:#ffffff;stop-opacity:1;"
  69. offset="0.40000001"
  70. id="stop4711-4" />
  71. <stop
  72. id="stop4713-1"
  73. offset="0.60000002"
  74. style="stop-color:#ffffff;stop-opacity:1;" />
  75. <stop
  76. id="stop4715-4"
  77. offset="1"
  78. style="stop-color:#c0c0c0;stop-opacity:1;" />
  79. </linearGradient>
  80. <linearGradient
  81. id="linearGradient5254-5-2">
  82. <stop
  83. style="stop-color:#c0c0c0;stop-opacity:1;"
  84. offset="0"
  85. id="stop5256-7-9" />
  86. <stop
  87. style="stop-color:#808080;stop-opacity:1;"
  88. offset="1"
  89. id="stop5262-7-9" />
  90. </linearGradient>
  91. <linearGradient
  92. id="linearGradient4707-6">
  93. <stop
  94. id="stop4709-2"
  95. offset="0"
  96. style="stop-color:#c0c0c0;stop-opacity:1;" />
  97. <stop
  98. style="stop-color:#ffffff;stop-opacity:1;"
  99. offset="0.40000001"
  100. id="stop4711-0" />
  101. <stop
  102. id="stop4713-2"
  103. offset="0.60000002"
  104. style="stop-color:#ffffff;stop-opacity:1;" />
  105. <stop
  106. id="stop4715-5"
  107. offset="1"
  108. style="stop-color:#c0c0c0;stop-opacity:1;" />
  109. </linearGradient>
  110. <linearGradient
  111. id="linearGradient5254-5-5">
  112. <stop
  113. style="stop-color:#c0c0c0;stop-opacity:1;"
  114. offset="0"
  115. id="stop5256-7-4" />
  116. <stop
  117. style="stop-color:#808080;stop-opacity:1;"
  118. offset="1"
  119. id="stop5262-7-96" />
  120. </linearGradient>
  121. <linearGradient
  122. id="linearGradient4707-5">
  123. <stop
  124. id="stop4709-3"
  125. offset="0"
  126. style="stop-color:#c0c0c0;stop-opacity:1;" />
  127. <stop
  128. style="stop-color:#ffffff;stop-opacity:1;"
  129. offset="0.40000001"
  130. id="stop4711-9" />
  131. <stop
  132. id="stop4713-8"
  133. offset="0.60000002"
  134. style="stop-color:#ffffff;stop-opacity:1;" />
  135. <stop
  136. id="stop4715-8"
  137. offset="1"
  138. style="stop-color:#c0c0c0;stop-opacity:1;" />
  139. </linearGradient>
  140. <linearGradient
  141. id="linearGradient5254-5-3">
  142. <stop
  143. style="stop-color:#c0c0c0;stop-opacity:1;"
  144. offset="0"
  145. id="stop5256-7-43" />
  146. <stop
  147. style="stop-color:#808080;stop-opacity:1;"
  148. offset="1"
  149. id="stop5262-7-4" />
  150. </linearGradient>
  151. <linearGradient
  152. inkscape:collect="always"
  153. xlink:href="#linearGradient18419-7"
  154. id="linearGradient18429-4"
  155. x1="-108.93402"
  156. y1="-376.16904"
  157. x2="741.15741"
  158. y2="-376.16904"
  159. gradientUnits="userSpaceOnUse" />
  160. <linearGradient
  161. id="linearGradient18419-7">
  162. <stop
  163. style="stop-color:#808080;stop-opacity:1;"
  164. offset="0"
  165. id="stop18421-0" />
  166. <stop
  167. style="stop-color:#ffffff;stop-opacity:1;"
  168. offset="1"
  169. id="stop18423-4" />
  170. </linearGradient>
  171. <linearGradient
  172. inkscape:collect="always"
  173. xlink:href="#linearGradient18419-0"
  174. id="linearGradient18429-7"
  175. x1="-108.93402"
  176. y1="-376.16904"
  177. x2="741.15741"
  178. y2="-376.16904"
  179. gradientUnits="userSpaceOnUse" />
  180. <linearGradient
  181. id="linearGradient18419-0">
  182. <stop
  183. style="stop-color:#808080;stop-opacity:1;"
  184. offset="0"
  185. id="stop18421-8" />
  186. <stop
  187. style="stop-color:#ffffff;stop-opacity:1;"
  188. offset="1"
  189. id="stop18423-1" />
  190. </linearGradient>
  191. <linearGradient
  192. inkscape:collect="always"
  193. xlink:href="#linearGradient18419-05"
  194. id="linearGradient18429-5"
  195. x1="-108.93402"
  196. y1="-376.16904"
  197. x2="741.15741"
  198. y2="-376.16904"
  199. gradientUnits="userSpaceOnUse" />
  200. <linearGradient
  201. id="linearGradient18419-05">
  202. <stop
  203. style="stop-color:#808080;stop-opacity:1;"
  204. offset="0"
  205. id="stop18421-06" />
  206. <stop
  207. style="stop-color:#ffffff;stop-opacity:1;"
  208. offset="1"
  209. id="stop18423-0" />
  210. </linearGradient>
  211. <linearGradient
  212. inkscape:collect="always"
  213. xlink:href="#linearGradient4707"
  214. id="linearGradient18600"
  215. gradientUnits="userSpaceOnUse"
  216. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  217. spreadMethod="pad"
  218. x1="-1057.1428"
  219. y1="-137.63783"
  220. x2="-1057.1428"
  221. y2="108.07645" />
  222. <linearGradient
  223. inkscape:collect="always"
  224. xlink:href="#linearGradient5254-5"
  225. id="linearGradient18602"
  226. gradientUnits="userSpaceOnUse"
  227. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  228. x1="-1057.1428"
  229. y1="-137.63783"
  230. x2="-1057.1428"
  231. y2="108.07645" />
  232. <linearGradient
  233. inkscape:collect="always"
  234. xlink:href="#linearGradient4707-3"
  235. id="linearGradient18604"
  236. gradientUnits="userSpaceOnUse"
  237. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  238. spreadMethod="pad"
  239. x1="-1057.1428"
  240. y1="-137.63783"
  241. x2="-1057.1428"
  242. y2="108.07645" />
  243. <linearGradient
  244. inkscape:collect="always"
  245. xlink:href="#linearGradient5254-5-2"
  246. id="linearGradient18606"
  247. gradientUnits="userSpaceOnUse"
  248. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  249. x1="-1057.1428"
  250. y1="-137.63783"
  251. x2="-1057.1428"
  252. y2="108.07645" />
  253. <linearGradient
  254. inkscape:collect="always"
  255. xlink:href="#linearGradient4707-6"
  256. id="linearGradient18608"
  257. gradientUnits="userSpaceOnUse"
  258. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  259. spreadMethod="pad"
  260. x1="-1057.1428"
  261. y1="-137.63783"
  262. x2="-1057.1428"
  263. y2="108.07645" />
  264. <linearGradient
  265. inkscape:collect="always"
  266. xlink:href="#linearGradient5254-5-5"
  267. id="linearGradient18610"
  268. gradientUnits="userSpaceOnUse"
  269. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  270. x1="-1057.1428"
  271. y1="-137.63783"
  272. x2="-1057.1428"
  273. y2="108.07645" />
  274. <linearGradient
  275. inkscape:collect="always"
  276. xlink:href="#linearGradient4707-5"
  277. id="linearGradient18612"
  278. gradientUnits="userSpaceOnUse"
  279. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  280. spreadMethod="pad"
  281. x1="-1057.1428"
  282. y1="-137.63783"
  283. x2="-1057.1428"
  284. y2="108.07645" />
  285. <linearGradient
  286. inkscape:collect="always"
  287. xlink:href="#linearGradient5254-5-3"
  288. id="linearGradient18614"
  289. gradientUnits="userSpaceOnUse"
  290. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  291. x1="-1057.1428"
  292. y1="-137.63783"
  293. x2="-1057.1428"
  294. y2="108.07645" />
  295. <linearGradient
  296. id="linearGradient4707-4">
  297. <stop
  298. id="stop4709-31"
  299. offset="0"
  300. style="stop-color:#c0c0c0;stop-opacity:1;" />
  301. <stop
  302. style="stop-color:#ffffff;stop-opacity:1;"
  303. offset="0.40000001"
  304. id="stop4711-7" />
  305. <stop
  306. id="stop4713-22"
  307. offset="0.60000002"
  308. style="stop-color:#ffffff;stop-opacity:1;" />
  309. <stop
  310. id="stop4715-3"
  311. offset="1"
  312. style="stop-color:#c0c0c0;stop-opacity:1;" />
  313. </linearGradient>
  314. <linearGradient
  315. id="linearGradient5254-5-1">
  316. <stop
  317. style="stop-color:#c0c0c0;stop-opacity:1;"
  318. offset="0"
  319. id="stop5256-7-94" />
  320. <stop
  321. style="stop-color:#808080;stop-opacity:1;"
  322. offset="1"
  323. id="stop5262-7-7" />
  324. </linearGradient>
  325. <linearGradient
  326. inkscape:collect="always"
  327. xlink:href="#linearGradient4707-4-9"
  328. id="linearGradient3189-3"
  329. gradientUnits="userSpaceOnUse"
  330. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  331. spreadMethod="pad"
  332. x1="-1057.1428"
  333. y1="-137.63783"
  334. x2="-1057.1428"
  335. y2="108.07645" />
  336. <linearGradient
  337. id="linearGradient4707-4-9">
  338. <stop
  339. id="stop4709-31-7"
  340. offset="0"
  341. style="stop-color:#c0c0c0;stop-opacity:1;" />
  342. <stop
  343. style="stop-color:#ffffff;stop-opacity:1;"
  344. offset="0.40000001"
  345. id="stop4711-7-9" />
  346. <stop
  347. id="stop4713-22-9"
  348. offset="0.60000002"
  349. style="stop-color:#ffffff;stop-opacity:1;" />
  350. <stop
  351. id="stop4715-3-1"
  352. offset="1"
  353. style="stop-color:#c0c0c0;stop-opacity:1;" />
  354. </linearGradient>
  355. <linearGradient
  356. inkscape:collect="always"
  357. xlink:href="#linearGradient5254-5-1-3"
  358. id="linearGradient3191-9"
  359. gradientUnits="userSpaceOnUse"
  360. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  361. x1="-1057.1428"
  362. y1="-137.63783"
  363. x2="-1057.1428"
  364. y2="108.07645" />
  365. <linearGradient
  366. id="linearGradient5254-5-1-3">
  367. <stop
  368. style="stop-color:#c0c0c0;stop-opacity:1;"
  369. offset="0"
  370. id="stop5256-7-94-4" />
  371. <stop
  372. style="stop-color:#808080;stop-opacity:1;"
  373. offset="1"
  374. id="stop5262-7-7-0" />
  375. </linearGradient>
  376. <linearGradient
  377. inkscape:collect="always"
  378. xlink:href="#linearGradient4707-4-9-3"
  379. id="linearGradient3189-3-7"
  380. gradientUnits="userSpaceOnUse"
  381. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  382. spreadMethod="pad"
  383. x1="-1057.1428"
  384. y1="-137.63783"
  385. x2="-1057.1428"
  386. y2="108.07645" />
  387. <linearGradient
  388. id="linearGradient4707-4-9-3">
  389. <stop
  390. id="stop4709-31-7-0"
  391. offset="0"
  392. style="stop-color:#c0c0c0;stop-opacity:1;" />
  393. <stop
  394. style="stop-color:#ffffff;stop-opacity:1;"
  395. offset="0.40000001"
  396. id="stop4711-7-9-0" />
  397. <stop
  398. id="stop4713-22-9-6"
  399. offset="0.60000002"
  400. style="stop-color:#ffffff;stop-opacity:1;" />
  401. <stop
  402. id="stop4715-3-1-2"
  403. offset="1"
  404. style="stop-color:#c0c0c0;stop-opacity:1;" />
  405. </linearGradient>
  406. <linearGradient
  407. inkscape:collect="always"
  408. xlink:href="#linearGradient5254-5-1-3-2"
  409. id="linearGradient3191-9-7"
  410. gradientUnits="userSpaceOnUse"
  411. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  412. x1="-1057.1428"
  413. y1="-137.63783"
  414. x2="-1057.1428"
  415. y2="108.07645" />
  416. <linearGradient
  417. id="linearGradient5254-5-1-3-2">
  418. <stop
  419. style="stop-color:#c0c0c0;stop-opacity:1;"
  420. offset="0"
  421. id="stop5256-7-94-4-5" />
  422. <stop
  423. style="stop-color:#808080;stop-opacity:1;"
  424. offset="1"
  425. id="stop5262-7-7-0-3" />
  426. </linearGradient>
  427. <linearGradient
  428. inkscape:collect="always"
  429. xlink:href="#linearGradient4707-4-9-1"
  430. id="linearGradient3189-3-9"
  431. gradientUnits="userSpaceOnUse"
  432. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  433. spreadMethod="pad"
  434. x1="-1057.1428"
  435. y1="-137.63783"
  436. x2="-1057.1428"
  437. y2="108.07645" />
  438. <linearGradient
  439. id="linearGradient4707-4-9-1">
  440. <stop
  441. id="stop4709-31-7-8"
  442. offset="0"
  443. style="stop-color:#c0c0c0;stop-opacity:1;" />
  444. <stop
  445. style="stop-color:#ffffff;stop-opacity:1;"
  446. offset="0.40000001"
  447. id="stop4711-7-9-9" />
  448. <stop
  449. id="stop4713-22-9-7"
  450. offset="0.60000002"
  451. style="stop-color:#ffffff;stop-opacity:1;" />
  452. <stop
  453. id="stop4715-3-1-21"
  454. offset="1"
  455. style="stop-color:#c0c0c0;stop-opacity:1;" />
  456. </linearGradient>
  457. <linearGradient
  458. inkscape:collect="always"
  459. xlink:href="#linearGradient5254-5-1-3-26"
  460. id="linearGradient3191-9-9"
  461. gradientUnits="userSpaceOnUse"
  462. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  463. x1="-1057.1428"
  464. y1="-137.63783"
  465. x2="-1057.1428"
  466. y2="108.07645" />
  467. <linearGradient
  468. id="linearGradient5254-5-1-3-26">
  469. <stop
  470. style="stop-color:#c0c0c0;stop-opacity:1;"
  471. offset="0"
  472. id="stop5256-7-94-4-7" />
  473. <stop
  474. style="stop-color:#808080;stop-opacity:1;"
  475. offset="1"
  476. id="stop5262-7-7-0-5" />
  477. </linearGradient>
  478. <linearGradient
  479. inkscape:collect="always"
  480. xlink:href="#linearGradient4707-2"
  481. id="linearGradient18600-2"
  482. gradientUnits="userSpaceOnUse"
  483. gradientTransform="matrix(2.2572292,0,0,5.7469187,3225.6233,1145.2243)"
  484. spreadMethod="pad"
  485. x1="-1057.1428"
  486. y1="-137.63783"
  487. x2="-1057.1428"
  488. y2="108.07645" />
  489. <linearGradient
  490. id="linearGradient4707-2">
  491. <stop
  492. id="stop4709-30"
  493. offset="0"
  494. style="stop-color:#c0c0c0;stop-opacity:1;" />
  495. <stop
  496. style="stop-color:#ffffff;stop-opacity:1;"
  497. offset="0.40000001"
  498. id="stop4711-8" />
  499. <stop
  500. id="stop4713-9"
  501. offset="0.60000002"
  502. style="stop-color:#ffffff;stop-opacity:1;" />
  503. <stop
  504. id="stop4715-84"
  505. offset="1"
  506. style="stop-color:#c0c0c0;stop-opacity:1;" />
  507. </linearGradient>
  508. <linearGradient
  509. inkscape:collect="always"
  510. xlink:href="#linearGradient5254-5-4"
  511. id="linearGradient18602-6"
  512. gradientUnits="userSpaceOnUse"
  513. gradientTransform="matrix(2.2572292,0,0,5.7469187,3225.6233,1145.2243)"
  514. x1="-1057.1428"
  515. y1="-137.63783"
  516. x2="-1057.1428"
  517. y2="108.07645" />
  518. <linearGradient
  519. id="linearGradient5254-5-4">
  520. <stop
  521. style="stop-color:#c0c0c0;stop-opacity:1;"
  522. offset="0"
  523. id="stop5256-7-0" />
  524. <stop
  525. style="stop-color:#808080;stop-opacity:1;"
  526. offset="1"
  527. id="stop5262-7-8" />
  528. </linearGradient>
  529. <linearGradient
  530. inkscape:collect="always"
  531. xlink:href="#linearGradient4707-5-5"
  532. id="linearGradient18612-6"
  533. gradientUnits="userSpaceOnUse"
  534. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  535. spreadMethod="pad"
  536. x1="-1057.1428"
  537. y1="-137.63783"
  538. x2="-1057.1428"
  539. y2="108.07645" />
  540. <linearGradient
  541. id="linearGradient4707-5-5">
  542. <stop
  543. id="stop4709-3-6"
  544. offset="0"
  545. style="stop-color:#c0c0c0;stop-opacity:1;" />
  546. <stop
  547. style="stop-color:#ffffff;stop-opacity:1;"
  548. offset="0.40000001"
  549. id="stop4711-9-1" />
  550. <stop
  551. id="stop4713-8-6"
  552. offset="0.60000002"
  553. style="stop-color:#ffffff;stop-opacity:1;" />
  554. <stop
  555. id="stop4715-8-8"
  556. offset="1"
  557. style="stop-color:#c0c0c0;stop-opacity:1;" />
  558. </linearGradient>
  559. <linearGradient
  560. inkscape:collect="always"
  561. xlink:href="#linearGradient5254-5-3-2"
  562. id="linearGradient18614-2"
  563. gradientUnits="userSpaceOnUse"
  564. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  565. x1="-1057.1428"
  566. y1="-137.63783"
  567. x2="-1057.1428"
  568. y2="108.07645" />
  569. <linearGradient
  570. id="linearGradient5254-5-3-2">
  571. <stop
  572. style="stop-color:#c0c0c0;stop-opacity:1;"
  573. offset="0"
  574. id="stop5256-7-43-8" />
  575. <stop
  576. style="stop-color:#808080;stop-opacity:1;"
  577. offset="1"
  578. id="stop5262-7-4-2" />
  579. </linearGradient>
  580. <linearGradient
  581. inkscape:collect="always"
  582. xlink:href="#linearGradient4707-2-5"
  583. id="linearGradient18600-2-4"
  584. gradientUnits="userSpaceOnUse"
  585. gradientTransform="matrix(2.358346,0,0,5.7436228,3330.527,1145.1567)"
  586. spreadMethod="pad"
  587. x1="-1057.1428"
  588. y1="-137.63783"
  589. x2="-1057.1428"
  590. y2="108.07645" />
  591. <linearGradient
  592. id="linearGradient4707-2-5">
  593. <stop
  594. id="stop4709-30-3"
  595. offset="0"
  596. style="stop-color:#c0c0c0;stop-opacity:1;" />
  597. <stop
  598. style="stop-color:#ffffff;stop-opacity:1;"
  599. offset="0.40000001"
  600. id="stop4711-8-3" />
  601. <stop
  602. id="stop4713-9-2"
  603. offset="0.60000002"
  604. style="stop-color:#ffffff;stop-opacity:1;" />
  605. <stop
  606. id="stop4715-84-8"
  607. offset="1"
  608. style="stop-color:#c0c0c0;stop-opacity:1;" />
  609. </linearGradient>
  610. <linearGradient
  611. inkscape:collect="always"
  612. xlink:href="#linearGradient5254-5-4-5"
  613. id="linearGradient18602-6-1"
  614. gradientUnits="userSpaceOnUse"
  615. gradientTransform="matrix(2.358346,0,0,5.7436228,3330.527,1145.1567)"
  616. x1="-1057.1428"
  617. y1="-137.63783"
  618. x2="-1057.1428"
  619. y2="108.07645" />
  620. <linearGradient
  621. id="linearGradient5254-5-4-5">
  622. <stop
  623. style="stop-color:#c0c0c0;stop-opacity:1;"
  624. offset="0"
  625. id="stop5256-7-0-7" />
  626. <stop
  627. style="stop-color:#808080;stop-opacity:1;"
  628. offset="1"
  629. id="stop5262-7-8-9" />
  630. </linearGradient>
  631. </defs>
  632. <sodipodi:namedview
  633. id="base"
  634. pagecolor="#ffffff"
  635. bordercolor="#666666"
  636. borderopacity="1.0"
  637. inkscape:pageopacity="0.0"
  638. inkscape:pageshadow="2"
  639. inkscape:zoom="1"
  640. inkscape:cx="983.48194"
  641. inkscape:cy="461.09312"
  642. inkscape:document-units="px"
  643. inkscape:current-layer="g17514-9"
  644. showgrid="false"
  645. inkscape:window-width="1855"
  646. inkscape:window-height="1056"
  647. inkscape:window-x="65"
  648. inkscape:window-y="24"
  649. inkscape:window-maximized="1"
  650. fit-margin-top="0"
  651. fit-margin-left="0"
  652. fit-margin-right="0"
  653. fit-margin-bottom="0" />
  654. <metadata
  655. id="metadata7">
  656. <rdf:RDF>
  657. <cc:Work
  658. rdf:about="">
  659. <dc:format>image/svg+xml</dc:format>
  660. <dc:type
  661. rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
  662. <dc:title />
  663. </cc:Work>
  664. </rdf:RDF>
  665. </metadata>
  666. <g
  667. inkscape:label="Ebene 1"
  668. inkscape:groupmode="layer"
  669. id="layer1"
  670. transform="translate(500.06842,-242.21988)">
  671. <g
  672. transform="matrix(0.54151067,0,0,0.5239281,-43.465319,462.88755)"
  673. id="g17514-9">
  674. <rect
  675. ry="71.519226"
  676. y="330.0018"
  677. x="-11.585638"
  678. height="1394.8799"
  679. width="1704.7472"
  680. id="rect5215-5-4"
  681. style="fill:url(#linearGradient18600-2-4);fill-opacity:1;stroke:url(#linearGradient18602-6-1);stroke-width:36.80413818;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  682. <text
  683. sodipodi:linespacing="125%"
  684. id="text5640-00-0"
  685. y="1664.0074"
  686. x="31.355007"
  687. style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  688. xml:space="preserve"><tspan
  689. y="1664.0074"
  690. x="31.355007"
  691. id="tspan5642-9-80"
  692. sodipodi:role="line"
  693. style="font-size:60.07733154px">foldr_reject_incomplete&lt;plus_int, int_&lt;11&gt;, sum_op&gt;</tspan></text>
  694. </g>
  695. <path
  696. style="fill:#808080;fill-opacity:1"
  697. sodipodi:nodetypes="ccccc"
  698. inkscape:connector-curvature="0"
  699. id="rect17648-3"
  700. d="m 275.75392,284.54116 126.35706,0.12897 -134.35097,88.89341 -136.07394,0 z" />
  701. <path
  702. style="fill:#c0c0c0;fill-opacity:1"
  703. sodipodi:nodetypes="ccccc"
  704. inkscape:connector-curvature="0"
  705. id="rect17648-37"
  706. d="m 400.98752,282.11475 99.08292,0.12897 -35.35599,88.89341 -136.07394,0 z" />
  707. <path
  708. style="fill:#808080;fill-opacity:1"
  709. sodipodi:nodetypes="ccccc"
  710. inkscape:connector-curvature="0"
  711. id="rect17648-5"
  712. d="m 499.55096,284.54116 106.03224,1.12897 45.57796,87.89341 -136.07394,0 z" />
  713. <rect
  714. style="fill:#808080;fill-opacity:1"
  715. y="243.10817"
  716. x="-607.96472"
  717. height="42.426407"
  718. width="108.95435"
  719. id="rect18516-4-8"
  720. transform="scale(-1,1)" />
  721. <rect
  722. style="fill:#808080;fill-opacity:1"
  723. y="243.08786"
  724. x="275.39606"
  725. height="42.426407"
  726. width="128.28938"
  727. id="rect18516-4" />
  728. <rect
  729. style="fill:#c0c0c0;fill-opacity:1"
  730. y="243.14877"
  731. x="403.25391"
  732. height="42.426407"
  733. width="95.964493"
  734. id="rect18516-6" />
  735. <g
  736. transform="matrix(0.54151067,0,0,0.5239281,111.60783,307.9855)"
  737. id="g17514-2">
  738. <rect
  739. ry="45.900894"
  740. y="121.0028"
  741. x="11.525307"
  742. height="139.342"
  743. width="307.91342"
  744. id="rect5215-5-1"
  745. style="fill:url(#linearGradient18604);fill-opacity:1;stroke:url(#linearGradient18606);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  746. <text
  747. sodipodi:linespacing="125%"
  748. id="text5640-00-3"
  749. y="206.41183"
  750. x="26.949203"
  751. style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  752. xml:space="preserve"><tspan
  753. y="206.41183"
  754. x="26.949203"
  755. id="tspan5642-9-8"
  756. sodipodi:role="line"
  757. style="font-size:60.07733154px">plus_int</tspan></text>
  758. </g>
  759. <g
  760. transform="matrix(0.54151067,0,0,0.5239281,300.97949,305.9652)"
  761. id="g17514-1">
  762. <rect
  763. ry="45.900894"
  764. y="121.0028"
  765. x="11.525307"
  766. height="139.342"
  767. width="307.91342"
  768. id="rect5215-5-8"
  769. style="fill:url(#linearGradient18608);fill-opacity:1;stroke:url(#linearGradient18610);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  770. <text
  771. sodipodi:linespacing="125%"
  772. id="text5640-00-8"
  773. y="206.41183"
  774. x="26.949203"
  775. style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  776. xml:space="preserve"><tspan
  777. y="206.41183"
  778. x="26.949203"
  779. id="tspan5642-9-3"
  780. sodipodi:role="line"
  781. style="font-size:60.07733154px">plus_int</tspan></text>
  782. </g>
  783. <g
  784. transform="matrix(0.54151067,0,0,0.5239281,490.35115,305.92458)"
  785. id="g17514-3">
  786. <rect
  787. ry="45.900894"
  788. y="121.0028"
  789. x="11.525307"
  790. height="139.342"
  791. width="307.91342"
  792. id="rect5215-5-7"
  793. style="fill:url(#linearGradient18612);fill-opacity:1;stroke:url(#linearGradient18614);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  794. <text
  795. sodipodi:linespacing="125%"
  796. id="text5640-00-7"
  797. y="206.41183"
  798. x="26.949203"
  799. style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  800. xml:space="preserve"><tspan
  801. y="206.41183"
  802. x="26.949203"
  803. id="tspan5642-9-85"
  804. sodipodi:role="line"
  805. style="font-size:60.07733154px">plus_int</tspan></text>
  806. </g>
  807. <rect
  808. style="fill:#000000;fill-opacity:1"
  809. id="rect18761-34-99"
  810. width="4.0406103"
  811. height="195.11174"
  812. x="195.1308"
  813. y="544.00061" />
  814. <path
  815. style="fill:#000000;fill-opacity:1"
  816. d="m 181.5889,729.09931 30.30458,0 -15.44939,26.26396 0,0 z"
  817. id="rect18817-7-8"
  818. inkscape:connector-curvature="0"
  819. sodipodi:nodetypes="ccccc" />
  820. <g
  821. id="g3106-8-7"
  822. transform="matrix(1,0,0,4.3288511,-113.82241,-844.6137)">
  823. <path
  824. inkscape:connector-curvature="0"
  825. id="path3086-6-4"
  826. d="m 8.0812203,274.54473 c -34.3451863,0 -40.4061013,115.15739 -40.4061013,115.15739"
  827. style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
  828. <path
  829. inkscape:connector-curvature="0"
  830. id="path3086-0-1-1"
  831. d="m 9.147187,505.28081 c -34.345187,0 -40.406097,-115.15739 -40.406097,-115.15739"
  832. style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
  833. </g>
  834. <text
  835. xml:space="preserve"
  836. style="font-size:40px;font-style:normal;font-weight:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  837. x="-500.06842"
  838. y="789.43256"
  839. id="text3081-8-1"
  840. sodipodi:linespacing="125%"><tspan
  841. sodipodi:role="line"
  842. x="-500.06842"
  843. y="789.43256"
  844. style="font-size:28px;text-align:start;text-anchor:start"
  845. id="tspan3586-7">parsing with</tspan><tspan
  846. sodipodi:role="line"
  847. x="-500.06842"
  848. y="824.43256"
  849. style="font-size:28px;text-align:start;text-anchor:start"
  850. id="tspan3668">foldr_reject_incomplete&lt;</tspan><tspan
  851. sodipodi:role="line"
  852. x="-500.06842"
  853. y="859.43256"
  854. style="font-size:28px;text-align:start;text-anchor:start"
  855. id="tspan3672"> plus_int,</tspan><tspan
  856. sodipodi:role="line"
  857. x="-500.06842"
  858. y="894.43256"
  859. style="font-size:28px;text-align:start;text-anchor:start"
  860. id="tspan3674"> int_&lt;11&gt;,</tspan><tspan
  861. sodipodi:role="line"
  862. x="-500.06842"
  863. y="929.43256"
  864. style="font-size:28px;text-align:start;text-anchor:start"
  865. id="tspan3219"> sum_op</tspan><tspan
  866. sodipodi:role="line"
  867. x="-500.06842"
  868. y="964.43256"
  869. style="font-size:28px;text-align:start;text-anchor:start"
  870. id="tspan3670">&gt;</tspan></text>
  871. <text
  872. xml:space="preserve"
  873. style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  874. x="162.96289"
  875. y="528.84863"
  876. id="text18736"
  877. sodipodi:linespacing="125%"><tspan
  878. sodipodi:role="line"
  879. id="tspan18738"
  880. x="162.96289"
  881. y="528.84863"
  882. style="font-size:28px">int_&lt;13&gt; int_&lt;3&gt; int_&lt;21&gt;</tspan></text>
  883. <rect
  884. style="fill:#000000;fill-opacity:1"
  885. id="rect18761-1"
  886. width="4.0406103"
  887. height="44.894867"
  888. x="194.70486"
  889. y="445.84186" />
  890. <rect
  891. style="fill:#000000;fill-opacity:1"
  892. id="rect18761-7"
  893. width="4.0406103"
  894. height="44.180584"
  895. x="375.26321"
  896. y="446.36981" />
  897. <rect
  898. style="fill:#000000;fill-opacity:1"
  899. id="rect18761-3"
  900. width="4.0406103"
  901. height="46.323441"
  902. x="576.1062"
  903. y="444.34943" />
  904. <path
  905. style="fill:#000000;fill-opacity:1"
  906. d="m 181.26841,482.56217 30.3046,0 -15.4494,26.26396 0,0 z"
  907. id="rect18817-9"
  908. inkscape:connector-curvature="0"
  909. sodipodi:nodetypes="ccccc" />
  910. <path
  911. style="fill:#000000;fill-opacity:1"
  912. d="m 361.25831,482.56217 30.3046,0 -15.4494,26.26396 0,0 z"
  913. id="rect18817-1"
  914. inkscape:connector-curvature="0"
  915. sodipodi:nodetypes="ccccc" />
  916. <path
  917. style="fill:#000000;fill-opacity:1"
  918. d="m 562.93361,482.56217 30.3045,0 -15.4494,26.26396 0,0 z"
  919. id="rect18817-8"
  920. inkscape:connector-curvature="0"
  921. sodipodi:nodetypes="ccccc" />
  922. <rect
  923. style="fill:#c0c0c0;fill-opacity:1"
  924. y="242.21988"
  925. x="606.9798"
  926. height="42.426407"
  927. width="35.487324"
  928. id="rect18516-8" />
  929. <path
  930. style="fill:#c0c0c0;fill-opacity:1"
  931. sodipodi:nodetypes="ccccc"
  932. inkscape:connector-curvature="0"
  933. id="rect17648-37-1"
  934. d="m 641.55846,283.11478 -36.48802,-0.87103 106.87734,88.17912 126.87557,0.71429 z" />
  935. <g
  936. transform="matrix(0.54151067,0,0,0.5239281,680.35115,305.92454)"
  937. id="g17514-3-6">
  938. <rect
  939. ry="45.900894"
  940. y="121.0028"
  941. x="11.525307"
  942. height="139.342"
  943. width="307.91342"
  944. id="rect5215-5-7-9"
  945. style="fill:url(#linearGradient18612-6);fill-opacity:1;stroke:url(#linearGradient18614-2);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  946. <text
  947. sodipodi:linespacing="125%"
  948. id="text5640-00-7-7"
  949. y="206.41183"
  950. x="26.949203"
  951. style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  952. xml:space="preserve"><tspan
  953. y="206.41183"
  954. x="26.949203"
  955. id="tspan5642-9-85-7"
  956. sodipodi:role="line"
  957. style="font-size:60.07733154px">plus_int</tspan></text>
  958. </g>
  959. <text
  960. xml:space="preserve"
  961. style="font-size:40px;font-style:normal;font-weight:normal;text-align:end;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  962. x="674.61993"
  963. y="278.58533"
  964. id="text2985"
  965. sodipodi:linespacing="125%"><tspan
  966. sodipodi:role="line"
  967. id="tspan2987"
  968. x="674.61993"
  969. y="278.58533">BOOST_METAPARSE_STRING(&quot;+ 13 + 3 + 21 +&quot;)</tspan></text>
  970. <text
  971. xml:space="preserve"
  972. style="font-size:40px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  973. x="773.17969"
  974. y="528.84857"
  975. id="text18736-5"
  976. sodipodi:linespacing="125%"><tspan
  977. sodipodi:role="line"
  978. id="tspan18738-3"
  979. x="773.17969"
  980. y="528.84857"
  981. style="font-size:28px;text-align:center;text-anchor:middle">ERROR:</tspan><tspan
  982. sodipodi:role="line"
  983. x="773.17969"
  984. y="563.84857"
  985. style="font-size:28px;text-align:center;text-anchor:middle"
  986. id="tspan3325">missing number</tspan></text>
  987. <rect
  988. style="fill:#000000;fill-opacity:1"
  989. id="rect18761-3-5"
  990. width="4.0406103"
  991. height="46.323441"
  992. x="772.1062"
  993. y="444.34937" />
  994. <path
  995. style="fill:#000000;fill-opacity:1"
  996. d="m 758.93361,482.56211 30.3045,0 -15.4494,26.26396 0,0 z"
  997. id="rect18817-8-0"
  998. inkscape:connector-curvature="0"
  999. sodipodi:nodetypes="ccccc" />
  1000. <rect
  1001. style="fill:#000000;fill-opacity:1"
  1002. id="rect18761-34-4-4"
  1003. width="4.0406103"
  1004. height="820.40625"
  1005. x="771.41516"
  1006. y="578.35083" />
  1007. <path
  1008. style="fill:#000000;fill-opacity:1"
  1009. d="m 757.87327,1392.7441 30.30458,0 -15.44939,26.264 0,0 z"
  1010. id="rect18817-7-71-5"
  1011. inkscape:connector-curvature="0"
  1012. sodipodi:nodetypes="ccccc" />
  1013. <text
  1014. xml:space="preserve"
  1015. style="font-size:40px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
  1016. x="773.17969"
  1017. y="1446.8486"
  1018. id="text18736-5-3"
  1019. sodipodi:linespacing="125%"><tspan
  1020. sodipodi:role="line"
  1021. id="tspan18738-3-8"
  1022. x="773.17969"
  1023. y="1446.8486"
  1024. style="font-size:28px;text-align:center;text-anchor:middle">ERROR:</tspan><tspan
  1025. sodipodi:role="line"
  1026. x="773.17969"
  1027. y="1481.8486"
  1028. style="font-size:28px;text-align:center;text-anchor:middle"
  1029. id="tspan3325-3">missing number</tspan></text>
  1030. <rect
  1031. style="fill:#000000;fill-opacity:1"
  1032. id="rect18761-34-99-9"
  1033. width="4.0406103"
  1034. height="197.11174"
  1035. x="377.1308"
  1036. y="544.00061" />
  1037. <path
  1038. style="fill:#000000;fill-opacity:1"
  1039. d="m 363.5889,729.09931 30.30458,0 -15.44939,26.26396 0,0 z"
  1040. id="rect18817-7-8-7"
  1041. inkscape:connector-curvature="0"
  1042. sodipodi:nodetypes="ccccc" />
  1043. <rect
  1044. style="fill:#000000;fill-opacity:1"
  1045. id="rect18761-34-99-9-7"
  1046. width="4.0406103"
  1047. height="195.11174"
  1048. x="577.1308"
  1049. y="544.00061" />
  1050. <path
  1051. style="fill:#000000;fill-opacity:1"
  1052. d="m 563.5889,729.09931 30.30458,0 -15.44939,26.26396 0,0 z"
  1053. id="rect18817-7-8-7-0"
  1054. inkscape:connector-curvature="0"
  1055. sodipodi:nodetypes="ccccc" />
  1056. </g>
  1057. </svg>