foldl_reject_incomplete_diag1.svg 41 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259
  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="1384.1504"
  13. height="1245.453"
  14. id="svg2"
  15. version="1.1"
  16. inkscape:version="0.48.4 r9939"
  17. sodipodi:docname="foldl_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.348233,0,0,5.7439491,3323.544,1145.1634)"
  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.348233,0,0,5.7439491,3323.544,1145.1634)"
  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="900.24769"
  641. inkscape:cy="501.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(498.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.523285"
  676. y="329.96216"
  677. x="-4.2372332"
  678. height="1394.9591"
  679. width="1697.4371"
  680. id="rect5215-5-4"
  681. style="fill:url(#linearGradient18600-2-4);fill-opacity:1;stroke:url(#linearGradient18602-6-1);stroke-width:36.72618866;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="38.741749"
  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="38.741749"
  691. id="tspan5642-9-80"
  692. sodipodi:role="line"
  693. style="font-size:60.07733154px">foldl_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. <g
  808. transform="matrix(0.54151067,0,0,0.5239281,22.278094,705.30543)"
  809. id="g17514-32-2">
  810. <g
  811. id="g3184-8"
  812. transform="translate(89.540843,-19.280365)">
  813. <rect
  814. style="fill:url(#linearGradient3189-3);fill-opacity:1;stroke:url(#linearGradient3191-9);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
  815. id="rect5215-5-3-2"
  816. width="307.91342"
  817. height="139.342"
  818. x="11.525307"
  819. y="121.0028"
  820. ry="45.900894" />
  821. <text
  822. xml:space="preserve"
  823. 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"
  824. x="49.038189"
  825. y="200.4129"
  826. id="text5640-00-0-7"
  827. sodipodi:linespacing="125%"><tspan
  828. style="font-size:60.07733154px"
  829. sodipodi:role="line"
  830. id="tspan5642-9-5-3"
  831. x="49.038189"
  832. y="200.4129">sum_op</tspan></text>
  833. </g>
  834. </g>
  835. <text
  836. xml:space="preserve"
  837. 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"
  838. x="168.73636"
  839. y="909.5144"
  840. id="text18736-8-6-4"
  841. sodipodi:linespacing="125%"><tspan
  842. sodipodi:role="line"
  843. id="tspan18738-3-1-6"
  844. x="168.73636"
  845. y="909.5144"
  846. style="font-size:28px">int_&lt;24&gt;</tspan></text>
  847. <g
  848. transform="matrix(0.54151067,0,0,0.5239281,197.39989,922.1037)"
  849. id="g17514-32-2-8">
  850. <g
  851. id="g3184-8-4"
  852. transform="translate(89.540843,-19.280365)">
  853. <rect
  854. style="fill:url(#linearGradient3189-3-7);fill-opacity:1;stroke:url(#linearGradient3191-9-7);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
  855. id="rect5215-5-3-2-9"
  856. width="307.91342"
  857. height="139.342"
  858. x="11.525307"
  859. y="121.0028"
  860. ry="45.900894" />
  861. <text
  862. xml:space="preserve"
  863. 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"
  864. x="49.038189"
  865. y="200.4129"
  866. id="text5640-00-0-7-0"
  867. sodipodi:linespacing="125%"><tspan
  868. style="font-size:60.07733154px"
  869. sodipodi:role="line"
  870. id="tspan5642-9-5-3-8"
  871. x="49.038189"
  872. y="200.4129">sum_op</tspan></text>
  873. </g>
  874. </g>
  875. <text
  876. xml:space="preserve"
  877. 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"
  878. x="343.85818"
  879. y="1126.3127"
  880. id="text18736-8-6-4-0"
  881. sodipodi:linespacing="125%"><tspan
  882. sodipodi:role="line"
  883. id="tspan18738-3-1-6-7"
  884. x="343.85818"
  885. y="1126.3127"
  886. style="font-size:28px">int_&lt;27&gt;</tspan></text>
  887. <g
  888. transform="matrix(0.54151067,0,0,0.5239281,391.06491,1136.0936)"
  889. id="g17514-32-2-2">
  890. <g
  891. id="g3184-8-5"
  892. transform="translate(89.540843,-19.280365)">
  893. <rect
  894. style="fill:url(#linearGradient3189-3-9);fill-opacity:1;stroke:url(#linearGradient3191-9-9);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
  895. id="rect5215-5-3-2-5"
  896. width="307.91342"
  897. height="139.342"
  898. x="11.525307"
  899. y="121.0028"
  900. ry="45.900894" />
  901. <text
  902. xml:space="preserve"
  903. 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"
  904. x="49.038189"
  905. y="200.4129"
  906. id="text5640-00-0-7-5"
  907. sodipodi:linespacing="125%"><tspan
  908. style="font-size:60.07733154px"
  909. sodipodi:role="line"
  910. id="tspan5642-9-5-3-7"
  911. x="49.038189"
  912. y="200.4129">sum_op</tspan></text>
  913. </g>
  914. </g>
  915. <rect
  916. style="fill:#000000;fill-opacity:1"
  917. id="rect18761-34-3"
  918. width="4.0406103"
  919. height="50.192947"
  920. x="118.35921"
  921. y="682.87872" />
  922. <path
  923. style="fill:#000000;fill-opacity:1"
  924. d="m 104.8173,729.05869 30.30458,0 -15.44939,26.26396 0,0 z"
  925. id="rect18817-7-7"
  926. inkscape:connector-curvature="0"
  927. sodipodi:nodetypes="ccccc" />
  928. <rect
  929. style="fill:#000000;fill-opacity:1"
  930. id="rect18761-34-9"
  931. width="4.0406103"
  932. height="60.609154"
  933. x="215.33386"
  934. y="832.86359" />
  935. <path
  936. style="fill:#000000;fill-opacity:1"
  937. d="m 201.79194,868.4597 30.30458,0 -15.44939,26.264 0,0 z"
  938. id="rect18817-7-2"
  939. inkscape:connector-curvature="0"
  940. sodipodi:nodetypes="ccccc" />
  941. <rect
  942. style="fill:#000000;fill-opacity:1"
  943. id="rect18761-34-30"
  944. width="4.0406103"
  945. height="60.609154"
  946. x="284.02423"
  947. y="913.67578" />
  948. <path
  949. style="fill:#000000;fill-opacity:1"
  950. d="m 270.48232,949.272 30.30458,0 -15.44939,26.2639 0,0 z"
  951. id="rect18817-7-41"
  952. inkscape:connector-curvature="0"
  953. sodipodi:nodetypes="ccccc" />
  954. <rect
  955. style="fill:#000000;fill-opacity:1"
  956. id="rect18761-34-2"
  957. width="4.0406103"
  958. height="60.609154"
  959. x="383.01917"
  960. y="1047.016" />
  961. <path
  962. style="fill:#000000;fill-opacity:1"
  963. d="m 369.47727,1082.6121 30.30458,0 -15.44939,26.264 0,0 z"
  964. id="rect18817-7-1"
  965. inkscape:connector-curvature="0"
  966. sodipodi:nodetypes="ccccc" />
  967. <rect
  968. style="fill:#000000;fill-opacity:1"
  969. id="rect18761-34-36"
  970. width="4.0406103"
  971. height="60.609154"
  972. x="459.79083"
  973. y="1129.8485" />
  974. <path
  975. style="fill:#000000;fill-opacity:1"
  976. d="m 446.24886,1165.4446 30.30458,0 -15.44939,26.264 0,0 z"
  977. id="rect18817-7-0"
  978. inkscape:connector-curvature="0"
  979. sodipodi:nodetypes="ccccc" />
  980. <rect
  981. style="fill:#000000;fill-opacity:1"
  982. id="rect18761-34-4"
  983. width="4.0406103"
  984. height="637.40625"
  985. x="577.41516"
  986. y="544.35083" />
  987. <path
  988. style="fill:#000000;fill-opacity:1"
  989. d="m 563.87327,1160.7441 30.30458,0 -15.44939,26.264 0,0 z"
  990. id="rect18817-7-71"
  991. inkscape:connector-curvature="0"
  992. sodipodi:nodetypes="ccccc" />
  993. <rect
  994. style="fill:#000000;fill-opacity:1"
  995. id="rect18761-34-34"
  996. width="4.0406103"
  997. height="428.30466"
  998. x="376.95828"
  999. y="545.98022" />
  1000. <path
  1001. style="fill:#000000;fill-opacity:1"
  1002. d="m 363.41635,949.2719 30.30458,0 -15.44939,26.264 0,0 z"
  1003. id="rect18817-7-3"
  1004. inkscape:connector-curvature="0"
  1005. sodipodi:nodetypes="ccccc" />
  1006. <rect
  1007. style="fill:#000000;fill-opacity:1"
  1008. id="rect18761-34-99"
  1009. width="4.0406103"
  1010. height="210.11174"
  1011. x="195.1308"
  1012. y="544.00061" />
  1013. <path
  1014. style="fill:#000000;fill-opacity:1"
  1015. d="m 181.5889,729.09931 30.30458,0 -15.44939,26.26396 0,0 z"
  1016. id="rect18817-7-8"
  1017. inkscape:connector-curvature="0"
  1018. sodipodi:nodetypes="ccccc" />
  1019. <g
  1020. id="g3106-8-7"
  1021. transform="matrix(1,0,0,4.3288511,-113.82241,-844.6137)">
  1022. <path
  1023. inkscape:connector-curvature="0"
  1024. id="path3086-6-4"
  1025. d="m 8.0812203,274.54473 c -34.3451863,0 -40.4061013,115.15739 -40.4061013,115.15739"
  1026. style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
  1027. <path
  1028. inkscape:connector-curvature="0"
  1029. id="path3086-0-1-1"
  1030. d="m 9.147187,505.28081 c -34.345187,0 -40.406097,-115.15739 -40.406097,-115.15739"
  1031. style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
  1032. </g>
  1033. <text
  1034. xml:space="preserve"
  1035. 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"
  1036. x="-498.06842"
  1037. y="789.43256"
  1038. id="text3081-8-1"
  1039. sodipodi:linespacing="125%"><tspan
  1040. sodipodi:role="line"
  1041. x="-498.06842"
  1042. y="789.43256"
  1043. style="font-size:28px;text-align:start;text-anchor:start"
  1044. id="tspan3586-7">parsing with</tspan><tspan
  1045. sodipodi:role="line"
  1046. x="-498.06842"
  1047. y="824.43256"
  1048. style="font-size:28px;text-align:start;text-anchor:start"
  1049. id="tspan3668">foldl_reject_incomplete&lt;</tspan><tspan
  1050. sodipodi:role="line"
  1051. x="-498.06842"
  1052. y="859.43256"
  1053. style="font-size:28px;text-align:start;text-anchor:start"
  1054. id="tspan3672"> plus_int,</tspan><tspan
  1055. sodipodi:role="line"
  1056. x="-498.06842"
  1057. y="894.43256"
  1058. style="font-size:28px;text-align:start;text-anchor:start"
  1059. id="tspan3674"> int_&lt;11&gt;,</tspan><tspan
  1060. sodipodi:role="line"
  1061. x="-498.06842"
  1062. y="929.43256"
  1063. style="font-size:28px;text-align:start;text-anchor:start"
  1064. id="tspan3219"> sum_op</tspan><tspan
  1065. sodipodi:role="line"
  1066. x="-498.06842"
  1067. y="964.43256"
  1068. style="font-size:28px;text-align:start;text-anchor:start"
  1069. id="tspan3670">&gt;</tspan></text>
  1070. <text
  1071. xml:space="preserve"
  1072. 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"
  1073. x="162.96289"
  1074. y="528.84863"
  1075. id="text18736"
  1076. sodipodi:linespacing="125%"><tspan
  1077. sodipodi:role="line"
  1078. id="tspan18738"
  1079. x="162.96289"
  1080. y="528.84863"
  1081. style="font-size:28px">int_&lt;13&gt; int_&lt;3&gt; int_&lt;21&gt;</tspan></text>
  1082. <rect
  1083. style="fill:#000000;fill-opacity:1"
  1084. id="rect18761-1"
  1085. width="4.0406103"
  1086. height="44.894867"
  1087. x="194.70486"
  1088. y="445.84186" />
  1089. <rect
  1090. style="fill:#000000;fill-opacity:1"
  1091. id="rect18761-7"
  1092. width="4.0406103"
  1093. height="44.180584"
  1094. x="375.26321"
  1095. y="446.36981" />
  1096. <rect
  1097. style="fill:#000000;fill-opacity:1"
  1098. id="rect18761-3"
  1099. width="4.0406103"
  1100. height="46.323441"
  1101. x="576.1062"
  1102. y="444.34943" />
  1103. <path
  1104. style="fill:#000000;fill-opacity:1"
  1105. d="m 181.26841,482.56217 30.3046,0 -15.4494,26.26396 0,0 z"
  1106. id="rect18817-9"
  1107. inkscape:connector-curvature="0"
  1108. sodipodi:nodetypes="ccccc" />
  1109. <path
  1110. style="fill:#000000;fill-opacity:1"
  1111. d="m 361.25831,482.56217 30.3046,0 -15.4494,26.26396 0,0 z"
  1112. id="rect18817-1"
  1113. inkscape:connector-curvature="0"
  1114. sodipodi:nodetypes="ccccc" />
  1115. <path
  1116. style="fill:#000000;fill-opacity:1"
  1117. d="m 562.93361,482.56217 30.3045,0 -15.4494,26.26396 0,0 z"
  1118. id="rect18817-8"
  1119. inkscape:connector-curvature="0"
  1120. sodipodi:nodetypes="ccccc" />
  1121. <rect
  1122. style="fill:#000000;fill-opacity:1"
  1123. id="rect18761-3-0-4"
  1124. width="70.964325"
  1125. height="4.8948693"
  1126. x="48.870819"
  1127. y="682.44824" />
  1128. <rect
  1129. style="fill:#000000;fill-opacity:1"
  1130. id="rect18761-3-0-4-1"
  1131. width="267.58987"
  1132. height="4.8948693"
  1133. x="49.197144"
  1134. y="1246.8748" />
  1135. <rect
  1136. style="fill:#000000;fill-opacity:1"
  1137. id="rect18761-34-4-9"
  1138. width="4.0406103"
  1139. height="568.13074"
  1140. x="48.997627"
  1141. y="682.66614" />
  1142. <rect
  1143. style="fill:#000000;fill-opacity:1"
  1144. id="rect18761-34-4-3"
  1145. width="4.0406103"
  1146. height="33.639606"
  1147. x="314.97745"
  1148. y="1247.5024" />
  1149. <rect
  1150. style="fill:#c0c0c0;fill-opacity:1"
  1151. y="242.21988"
  1152. x="606.9798"
  1153. height="42.426407"
  1154. width="35.487324"
  1155. id="rect18516-8" />
  1156. <path
  1157. style="fill:#c0c0c0;fill-opacity:1"
  1158. sodipodi:nodetypes="ccccc"
  1159. inkscape:connector-curvature="0"
  1160. id="rect17648-37-1"
  1161. d="m 641.55846,283.11478 -36.48802,-0.87103 106.87734,88.17912 126.87557,0.71429 z" />
  1162. <g
  1163. transform="matrix(0.54151067,0,0,0.5239281,680.35115,305.92454)"
  1164. id="g17514-3-6">
  1165. <rect
  1166. ry="45.900894"
  1167. y="121.0028"
  1168. x="11.525307"
  1169. height="139.342"
  1170. width="307.91342"
  1171. id="rect5215-5-7-9"
  1172. 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" />
  1173. <text
  1174. sodipodi:linespacing="125%"
  1175. id="text5640-00-7-7"
  1176. y="206.41183"
  1177. x="26.949203"
  1178. 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"
  1179. xml:space="preserve"><tspan
  1180. y="206.41183"
  1181. x="26.949203"
  1182. id="tspan5642-9-85-7"
  1183. sodipodi:role="line"
  1184. style="font-size:60.07733154px">plus_int</tspan></text>
  1185. </g>
  1186. <text
  1187. xml:space="preserve"
  1188. 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"
  1189. x="670.61993"
  1190. y="278.58533"
  1191. id="text2985"
  1192. sodipodi:linespacing="125%"><tspan
  1193. sodipodi:role="line"
  1194. id="tspan2987"
  1195. x="670.61993"
  1196. y="278.58533">BOOST_METAPARSE_STRING(&quot;+ 13 + 3 + 21 +&quot;)</tspan></text>
  1197. <text
  1198. xml:space="preserve"
  1199. 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"
  1200. x="773.17969"
  1201. y="528.84857"
  1202. id="text18736-5"
  1203. sodipodi:linespacing="125%"><tspan
  1204. sodipodi:role="line"
  1205. id="tspan18738-3"
  1206. x="773.17969"
  1207. y="528.84857"
  1208. style="font-size:28px;text-align:center;text-anchor:middle">ERROR:</tspan><tspan
  1209. sodipodi:role="line"
  1210. x="773.17969"
  1211. y="563.84857"
  1212. style="font-size:28px;text-align:center;text-anchor:middle"
  1213. id="tspan3325">missing number</tspan></text>
  1214. <rect
  1215. style="fill:#000000;fill-opacity:1"
  1216. id="rect18761-3-5"
  1217. width="4.0406103"
  1218. height="46.323441"
  1219. x="772.1062"
  1220. y="444.34937" />
  1221. <path
  1222. style="fill:#000000;fill-opacity:1"
  1223. d="m 758.93361,482.56211 30.3045,0 -15.4494,26.26396 0,0 z"
  1224. id="rect18817-8-0"
  1225. inkscape:connector-curvature="0"
  1226. sodipodi:nodetypes="ccccc" />
  1227. <rect
  1228. style="fill:#000000;fill-opacity:1"
  1229. id="rect18761-34-4-4"
  1230. width="4.0406103"
  1231. height="820.40625"
  1232. x="771.41516"
  1233. y="578.35083" />
  1234. <path
  1235. style="fill:#000000;fill-opacity:1"
  1236. d="m 757.87327,1392.7441 30.30458,0 -15.44939,26.264 0,0 z"
  1237. id="rect18817-7-71-5"
  1238. inkscape:connector-curvature="0"
  1239. sodipodi:nodetypes="ccccc" />
  1240. <text
  1241. xml:space="preserve"
  1242. 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"
  1243. x="773.17969"
  1244. y="1446.8486"
  1245. id="text18736-5-3"
  1246. sodipodi:linespacing="125%"><tspan
  1247. sodipodi:role="line"
  1248. id="tspan18738-3-8"
  1249. x="773.17969"
  1250. y="1446.8486"
  1251. style="font-size:28px;text-align:center;text-anchor:middle">ERROR:</tspan><tspan
  1252. sodipodi:role="line"
  1253. x="773.17969"
  1254. y="1481.8486"
  1255. style="font-size:28px;text-align:center;text-anchor:middle"
  1256. id="tspan3325-3">missing number</tspan></text>
  1257. </g>
  1258. </svg>