foldl_diag2.svg 41 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269
  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="1278.9603"
  13. height="1435.1938"
  14. id="svg2"
  15. version="1.1"
  16. inkscape:version="0.48.4 r9939"
  17. sodipodi:docname="foldl_diag2.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"
  328. id="linearGradient3189"
  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. inkscape:collect="always"
  338. xlink:href="#linearGradient5254-5-1"
  339. id="linearGradient3191"
  340. gradientUnits="userSpaceOnUse"
  341. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  342. x1="-1057.1428"
  343. y1="-137.63783"
  344. x2="-1057.1428"
  345. y2="108.07645" />
  346. <linearGradient
  347. inkscape:collect="always"
  348. xlink:href="#linearGradient4707-4-9"
  349. id="linearGradient3189-3"
  350. gradientUnits="userSpaceOnUse"
  351. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  352. spreadMethod="pad"
  353. x1="-1057.1428"
  354. y1="-137.63783"
  355. x2="-1057.1428"
  356. y2="108.07645" />
  357. <linearGradient
  358. id="linearGradient4707-4-9">
  359. <stop
  360. id="stop4709-31-7"
  361. offset="0"
  362. style="stop-color:#c0c0c0;stop-opacity:1;" />
  363. <stop
  364. style="stop-color:#ffffff;stop-opacity:1;"
  365. offset="0.40000001"
  366. id="stop4711-7-9" />
  367. <stop
  368. id="stop4713-22-9"
  369. offset="0.60000002"
  370. style="stop-color:#ffffff;stop-opacity:1;" />
  371. <stop
  372. id="stop4715-3-1"
  373. offset="1"
  374. style="stop-color:#c0c0c0;stop-opacity:1;" />
  375. </linearGradient>
  376. <linearGradient
  377. inkscape:collect="always"
  378. xlink:href="#linearGradient5254-5-1-3"
  379. id="linearGradient3191-9"
  380. gradientUnits="userSpaceOnUse"
  381. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  382. x1="-1057.1428"
  383. y1="-137.63783"
  384. x2="-1057.1428"
  385. y2="108.07645" />
  386. <linearGradient
  387. id="linearGradient5254-5-1-3">
  388. <stop
  389. style="stop-color:#c0c0c0;stop-opacity:1;"
  390. offset="0"
  391. id="stop5256-7-94-4" />
  392. <stop
  393. style="stop-color:#808080;stop-opacity:1;"
  394. offset="1"
  395. id="stop5262-7-7-0" />
  396. </linearGradient>
  397. <linearGradient
  398. inkscape:collect="always"
  399. xlink:href="#linearGradient4707-4-9-3"
  400. id="linearGradient3189-3-7"
  401. gradientUnits="userSpaceOnUse"
  402. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  403. spreadMethod="pad"
  404. x1="-1057.1428"
  405. y1="-137.63783"
  406. x2="-1057.1428"
  407. y2="108.07645" />
  408. <linearGradient
  409. id="linearGradient4707-4-9-3">
  410. <stop
  411. id="stop4709-31-7-0"
  412. offset="0"
  413. style="stop-color:#c0c0c0;stop-opacity:1;" />
  414. <stop
  415. style="stop-color:#ffffff;stop-opacity:1;"
  416. offset="0.40000001"
  417. id="stop4711-7-9-0" />
  418. <stop
  419. id="stop4713-22-9-6"
  420. offset="0.60000002"
  421. style="stop-color:#ffffff;stop-opacity:1;" />
  422. <stop
  423. id="stop4715-3-1-2"
  424. offset="1"
  425. style="stop-color:#c0c0c0;stop-opacity:1;" />
  426. </linearGradient>
  427. <linearGradient
  428. inkscape:collect="always"
  429. xlink:href="#linearGradient5254-5-1-3-2"
  430. id="linearGradient3191-9-7"
  431. gradientUnits="userSpaceOnUse"
  432. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  433. x1="-1057.1428"
  434. y1="-137.63783"
  435. x2="-1057.1428"
  436. y2="108.07645" />
  437. <linearGradient
  438. id="linearGradient5254-5-1-3-2">
  439. <stop
  440. style="stop-color:#c0c0c0;stop-opacity:1;"
  441. offset="0"
  442. id="stop5256-7-94-4-5" />
  443. <stop
  444. style="stop-color:#808080;stop-opacity:1;"
  445. offset="1"
  446. id="stop5262-7-7-0-3" />
  447. </linearGradient>
  448. <linearGradient
  449. inkscape:collect="always"
  450. xlink:href="#linearGradient4707-4-9-1"
  451. id="linearGradient3189-3-9"
  452. gradientUnits="userSpaceOnUse"
  453. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  454. spreadMethod="pad"
  455. x1="-1057.1428"
  456. y1="-137.63783"
  457. x2="-1057.1428"
  458. y2="108.07645" />
  459. <linearGradient
  460. id="linearGradient4707-4-9-1">
  461. <stop
  462. id="stop4709-31-7-8"
  463. offset="0"
  464. style="stop-color:#c0c0c0;stop-opacity:1;" />
  465. <stop
  466. style="stop-color:#ffffff;stop-opacity:1;"
  467. offset="0.40000001"
  468. id="stop4711-7-9-9" />
  469. <stop
  470. id="stop4713-22-9-7"
  471. offset="0.60000002"
  472. style="stop-color:#ffffff;stop-opacity:1;" />
  473. <stop
  474. id="stop4715-3-1-21"
  475. offset="1"
  476. style="stop-color:#c0c0c0;stop-opacity:1;" />
  477. </linearGradient>
  478. <linearGradient
  479. inkscape:collect="always"
  480. xlink:href="#linearGradient5254-5-1-3-26"
  481. id="linearGradient3191-9-9"
  482. gradientUnits="userSpaceOnUse"
  483. gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
  484. x1="-1057.1428"
  485. y1="-137.63783"
  486. x2="-1057.1428"
  487. y2="108.07645" />
  488. <linearGradient
  489. id="linearGradient5254-5-1-3-26">
  490. <stop
  491. style="stop-color:#c0c0c0;stop-opacity:1;"
  492. offset="0"
  493. id="stop5256-7-94-4-7" />
  494. <stop
  495. style="stop-color:#808080;stop-opacity:1;"
  496. offset="1"
  497. id="stop5262-7-7-0-5" />
  498. </linearGradient>
  499. <linearGradient
  500. id="linearGradient4707-69">
  501. <stop
  502. id="stop4709-26"
  503. offset="0"
  504. style="stop-color:#c0c0c0;stop-opacity:1;" />
  505. <stop
  506. style="stop-color:#ffffff;stop-opacity:1;"
  507. offset="0.40000001"
  508. id="stop4711-75" />
  509. <stop
  510. id="stop4713-7"
  511. offset="0.60000002"
  512. style="stop-color:#ffffff;stop-opacity:1;" />
  513. <stop
  514. id="stop4715-31"
  515. offset="1"
  516. style="stop-color:#c0c0c0;stop-opacity:1;" />
  517. </linearGradient>
  518. <linearGradient
  519. id="linearGradient5254-5-6">
  520. <stop
  521. style="stop-color:#c0c0c0;stop-opacity:1;"
  522. offset="0"
  523. id="stop5256-7-2" />
  524. <stop
  525. style="stop-color:#808080;stop-opacity:1;"
  526. offset="1"
  527. id="stop5262-7-75" />
  528. </linearGradient>
  529. <linearGradient
  530. inkscape:collect="always"
  531. xlink:href="#linearGradient4707-38"
  532. id="linearGradient18600-6"
  533. gradientUnits="userSpaceOnUse"
  534. gradientTransform="matrix(2.5168413,0,0,7.164819,3596.7022,1156.9317)"
  535. spreadMethod="pad"
  536. x1="-1057.1428"
  537. y1="-137.63783"
  538. x2="-1057.1428"
  539. y2="108.07645" />
  540. <linearGradient
  541. id="linearGradient4707-38">
  542. <stop
  543. id="stop4709-19"
  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-96" />
  550. <stop
  551. id="stop4713-3"
  552. offset="0.60000002"
  553. style="stop-color:#ffffff;stop-opacity:1;" />
  554. <stop
  555. id="stop4715-45"
  556. offset="1"
  557. style="stop-color:#c0c0c0;stop-opacity:1;" />
  558. </linearGradient>
  559. <linearGradient
  560. inkscape:collect="always"
  561. xlink:href="#linearGradient5254-5-8"
  562. id="linearGradient18602-3"
  563. gradientUnits="userSpaceOnUse"
  564. gradientTransform="matrix(2.5168413,0,0,7.164819,3596.7022,1156.9317)"
  565. x1="-1057.1428"
  566. y1="-137.63783"
  567. x2="-1057.1428"
  568. y2="108.07645" />
  569. <linearGradient
  570. id="linearGradient5254-5-8">
  571. <stop
  572. style="stop-color:#c0c0c0;stop-opacity:1;"
  573. offset="0"
  574. id="stop5256-7-1" />
  575. <stop
  576. style="stop-color:#808080;stop-opacity:1;"
  577. offset="1"
  578. id="stop5262-7-2" />
  579. </linearGradient>
  580. </defs>
  581. <sodipodi:namedview
  582. id="base"
  583. pagecolor="#ffffff"
  584. bordercolor="#666666"
  585. borderopacity="1.0"
  586. inkscape:pageopacity="0.0"
  587. inkscape:pageshadow="2"
  588. inkscape:zoom="1.4"
  589. inkscape:cx="535.45416"
  590. inkscape:cy="1403.0355"
  591. inkscape:document-units="px"
  592. inkscape:current-layer="layer1"
  593. showgrid="false"
  594. inkscape:window-width="1855"
  595. inkscape:window-height="1056"
  596. inkscape:window-x="65"
  597. inkscape:window-y="24"
  598. inkscape:window-maximized="1"
  599. fit-margin-top="0"
  600. fit-margin-left="0"
  601. fit-margin-right="0"
  602. fit-margin-bottom="0" />
  603. <metadata
  604. id="metadata7">
  605. <rdf:RDF>
  606. <cc:Work
  607. rdf:about="">
  608. <dc:format>image/svg+xml</dc:format>
  609. <dc:type
  610. rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
  611. <dc:title />
  612. </cc:Work>
  613. </rdf:RDF>
  614. </metadata>
  615. <g
  616. inkscape:label="Ebene 1"
  617. inkscape:groupmode="layer"
  618. id="layer1"
  619. transform="translate(412.73846,-242.21983)">
  620. <g
  621. transform="matrix(0.54151067,0,0,0.5239281,-146.50088,558.41765)"
  622. id="g17514-39">
  623. <rect
  624. ry="87.2649"
  625. y="140.07561"
  626. x="29.978828"
  627. height="1740.0276"
  628. width="1819.3168"
  629. id="rect5215-5-18"
  630. style="fill:url(#linearGradient18600-6);fill-opacity:1;stroke:url(#linearGradient18602-3);stroke-width:42.46493912;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  631. <text
  632. sodipodi:linespacing="125%"
  633. id="text5640-00-9"
  634. y="1814.3944"
  635. x="116.49007"
  636. 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"
  637. xml:space="preserve"><tspan
  638. y="1814.3944"
  639. x="116.49007"
  640. id="tspan5642-9-51"
  641. sodipodi:role="line"
  642. style="font-size:60.07733154px">foldl&lt;int_token, int_&lt;0&gt;, sum_op&gt;</tspan></text>
  643. </g>
  644. <path
  645. style="fill:#c0c0c0;fill-opacity:1"
  646. sodipodi:nodetypes="ccccc"
  647. inkscape:connector-curvature="0"
  648. id="rect17648"
  649. d="m 409.73796,284.51725 82.92051,0.12897 -338.40179,88.89341 -136.073937,0 z" />
  650. <path
  651. style="fill:#808080;fill-opacity:1"
  652. sodipodi:nodetypes="ccccc"
  653. inkscape:connector-curvature="0"
  654. id="rect17648-3"
  655. d="m 488.12451,284.54116 72.81898,0.12897 -217.18348,88.89341 -136.07394,0 z" />
  656. <path
  657. style="fill:#c0c0c0;fill-opacity:1"
  658. sodipodi:nodetypes="ccccc"
  659. inkscape:connector-curvature="0"
  660. id="rect17648-37"
  661. d="m 563.86064,282.11475 52.6159,0.12897 -75.76209,88.89341 -136.07394,0 z" />
  662. <path
  663. style="fill:#808080;fill-opacity:1"
  664. sodipodi:nodetypes="ccccc"
  665. inkscape:connector-curvature="0"
  666. id="rect17648-5"
  667. d="m 614.94691,284.54116 54.63629,0.12897 57.57796,88.89341 -136.07394,0 z" />
  668. <rect
  669. style="fill:#808080;fill-opacity:1"
  670. y="243.10817"
  671. x="-669.96472"
  672. height="42.426407"
  673. width="56.568546"
  674. id="rect18516-4-8"
  675. transform="scale(-1,1)" />
  676. <rect
  677. style="fill:#808080;fill-opacity:1"
  678. y="243.08786"
  679. x="485.39606"
  680. height="42.426407"
  681. width="78.791901"
  682. id="rect18516-4" />
  683. <rect
  684. style="fill:#c0c0c0;fill-opacity:1"
  685. y="243.14877"
  686. x="563.25391"
  687. height="42.426407"
  688. width="50.507629"
  689. id="rect18516-6" />
  690. <rect
  691. style="fill:#c0c0c0;fill-opacity:1"
  692. y="242.21983"
  693. x="412.14224"
  694. height="42.426407"
  695. width="78.791901"
  696. id="rect18516" />
  697. <text
  698. xml:space="preserve"
  699. 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"
  700. x="704.02618"
  701. y="278.58533"
  702. id="text2985"
  703. sodipodi:linespacing="125%"><tspan
  704. sodipodi:role="line"
  705. id="tspan2987"
  706. x="704.02618"
  707. y="278.58533">BOOST_METAPARSE_STRING(&quot;11 13 3 21&quot;)</tspan></text>
  708. <g
  709. transform="matrix(0.54151067,0,0,0.5239281,-1.7638252,307.9855)"
  710. id="g17514">
  711. <rect
  712. ry="45.900894"
  713. y="121.0028"
  714. x="11.525307"
  715. height="139.342"
  716. width="307.91342"
  717. id="rect5215-5"
  718. style="fill:url(#linearGradient18600);fill-opacity:1;stroke:url(#linearGradient18602);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  719. <text
  720. sodipodi:linespacing="125%"
  721. id="text5640-00"
  722. y="206.41183"
  723. x="26.949203"
  724. 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"
  725. xml:space="preserve"><tspan
  726. y="206.41183"
  727. x="26.949203"
  728. id="tspan5642-9"
  729. sodipodi:role="line"
  730. style="font-size:60.07733154px">int_token</tspan></text>
  731. </g>
  732. <g
  733. transform="matrix(0.54151067,0,0,0.5239281,187.60783,307.9855)"
  734. id="g17514-2">
  735. <rect
  736. ry="45.900894"
  737. y="121.0028"
  738. x="11.525307"
  739. height="139.342"
  740. width="307.91342"
  741. id="rect5215-5-1"
  742. style="fill:url(#linearGradient18604);fill-opacity:1;stroke:url(#linearGradient18606);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  743. <text
  744. sodipodi:linespacing="125%"
  745. id="text5640-00-3"
  746. y="206.41183"
  747. x="26.949203"
  748. 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"
  749. xml:space="preserve"><tspan
  750. y="206.41183"
  751. x="26.949203"
  752. id="tspan5642-9-8"
  753. sodipodi:role="line"
  754. style="font-size:60.07733154px">int_token</tspan></text>
  755. </g>
  756. <g
  757. transform="matrix(0.54151067,0,0,0.5239281,376.97949,305.9652)"
  758. id="g17514-1">
  759. <rect
  760. ry="45.900894"
  761. y="121.0028"
  762. x="11.525307"
  763. height="139.342"
  764. width="307.91342"
  765. id="rect5215-5-8"
  766. style="fill:url(#linearGradient18608);fill-opacity:1;stroke:url(#linearGradient18610);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  767. <text
  768. sodipodi:linespacing="125%"
  769. id="text5640-00-8"
  770. y="206.41183"
  771. x="26.949203"
  772. 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"
  773. xml:space="preserve"><tspan
  774. y="206.41183"
  775. x="26.949203"
  776. id="tspan5642-9-3"
  777. sodipodi:role="line"
  778. style="font-size:60.07733154px">int_token</tspan></text>
  779. </g>
  780. <g
  781. transform="matrix(0.54151067,0,0,0.5239281,566.35115,305.92458)"
  782. id="g17514-3">
  783. <rect
  784. ry="45.900894"
  785. y="121.0028"
  786. x="11.525307"
  787. height="139.342"
  788. width="307.91342"
  789. id="rect5215-5-7"
  790. style="fill:url(#linearGradient18612);fill-opacity:1;stroke:url(#linearGradient18614);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  791. <text
  792. sodipodi:linespacing="125%"
  793. id="text5640-00-7"
  794. y="206.41183"
  795. x="26.949203"
  796. 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"
  797. xml:space="preserve"><tspan
  798. y="206.41183"
  799. x="26.949203"
  800. id="tspan5642-9-85"
  801. sodipodi:role="line"
  802. style="font-size:60.07733154px">int_token</tspan></text>
  803. </g>
  804. <g
  805. transform="matrix(0.54151067,0,0,0.5239281,-47.183872,690.68608)"
  806. id="g17514-32">
  807. <g
  808. id="g3184"
  809. transform="translate(89.540843,-19.280365)">
  810. <rect
  811. style="fill:url(#linearGradient3189);fill-opacity:1;stroke:url(#linearGradient3191);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
  812. id="rect5215-5-3"
  813. width="307.91342"
  814. height="139.342"
  815. x="11.525307"
  816. y="121.0028"
  817. ry="45.900894" />
  818. <text
  819. xml:space="preserve"
  820. 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"
  821. x="49.038189"
  822. y="200.4129"
  823. id="text5640-00-0"
  824. sodipodi:linespacing="125%"><tspan
  825. style="font-size:60.07733154px"
  826. sodipodi:role="line"
  827. id="tspan5642-9-5"
  828. x="49.038189"
  829. y="200.4129">sum_op</tspan></text>
  830. </g>
  831. </g>
  832. <rect
  833. style="fill:#000000;fill-opacity:1"
  834. id="rect18761-6"
  835. width="4.0406103"
  836. height="179.80716"
  837. x="123.28305"
  838. y="538.52838" />
  839. <path
  840. style="fill:#000000;fill-opacity:1"
  841. d="m 109.74113,714.99769 30.30458,0 -15.44939,26.26396 0,0 z"
  842. id="rect18817-2"
  843. inkscape:connector-curvature="0"
  844. sodipodi:nodetypes="ccccc" />
  845. <rect
  846. style="fill:#000000;fill-opacity:1"
  847. id="rect18761-34"
  848. width="4.0406103"
  849. height="60.609154"
  850. x="44.562271"
  851. y="677.89905" />
  852. <path
  853. style="fill:#000000;fill-opacity:1"
  854. d="m 31.02035,713.49522 30.30458,0 -15.44939,26.26396 0,0 z"
  855. id="rect18817-7"
  856. inkscape:connector-curvature="0"
  857. sodipodi:nodetypes="ccccc" />
  858. <text
  859. xml:space="preserve"
  860. 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"
  861. x="85.965096"
  862. y="903.38232"
  863. id="text18736-8-6"
  864. sodipodi:linespacing="125%"><tspan
  865. sodipodi:role="line"
  866. id="tspan18738-3-1"
  867. x="85.965096"
  868. y="903.38232"
  869. style="font-size:28px">int_&lt;11&gt;</tspan></text>
  870. <g
  871. transform="matrix(0.54151067,0,0,0.5239281,98.278094,911.3054)"
  872. id="g17514-32-2">
  873. <g
  874. id="g3184-8"
  875. transform="translate(89.540843,-19.280365)">
  876. <rect
  877. 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"
  878. id="rect5215-5-3-2"
  879. width="307.91342"
  880. height="139.342"
  881. x="11.525307"
  882. y="121.0028"
  883. ry="45.900894" />
  884. <text
  885. xml:space="preserve"
  886. 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"
  887. x="49.038189"
  888. y="200.4129"
  889. id="text5640-00-0-7"
  890. sodipodi:linespacing="125%"><tspan
  891. style="font-size:60.07733154px"
  892. sodipodi:role="line"
  893. id="tspan5642-9-5-3"
  894. x="49.038189"
  895. y="200.4129">sum_op</tspan></text>
  896. </g>
  897. </g>
  898. <text
  899. xml:space="preserve"
  900. 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"
  901. x="244.73636"
  902. y="1115.5144"
  903. id="text18736-8-6-4"
  904. sodipodi:linespacing="125%"><tspan
  905. sodipodi:role="line"
  906. id="tspan18738-3-1-6"
  907. x="244.73636"
  908. y="1115.5144"
  909. style="font-size:28px">int_&lt;24&gt;</tspan></text>
  910. <g
  911. transform="matrix(0.54151067,0,0,0.5239281,273.39989,1128.1037)"
  912. id="g17514-32-2-8">
  913. <g
  914. id="g3184-8-4"
  915. transform="translate(89.540843,-19.280365)">
  916. <rect
  917. 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"
  918. id="rect5215-5-3-2-9"
  919. width="307.91342"
  920. height="139.342"
  921. x="11.525307"
  922. y="121.0028"
  923. ry="45.900894" />
  924. <text
  925. xml:space="preserve"
  926. 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"
  927. x="49.038189"
  928. y="200.4129"
  929. id="text5640-00-0-7-0"
  930. sodipodi:linespacing="125%"><tspan
  931. style="font-size:60.07733154px"
  932. sodipodi:role="line"
  933. id="tspan5642-9-5-3-8"
  934. x="49.038189"
  935. y="200.4129">sum_op</tspan></text>
  936. </g>
  937. </g>
  938. <text
  939. xml:space="preserve"
  940. 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"
  941. x="419.85818"
  942. y="1332.3127"
  943. id="text18736-8-6-4-0"
  944. sodipodi:linespacing="125%"><tspan
  945. sodipodi:role="line"
  946. id="tspan18738-3-1-6-7"
  947. x="419.85818"
  948. y="1332.3127"
  949. style="font-size:28px">int_&lt;27&gt;</tspan></text>
  950. <g
  951. transform="matrix(0.54151067,0,0,0.5239281,467.06491,1342.0936)"
  952. id="g17514-32-2-2">
  953. <g
  954. id="g3184-8-5"
  955. transform="translate(89.540843,-19.280365)">
  956. <rect
  957. 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"
  958. id="rect5215-5-3-2-5"
  959. width="307.91342"
  960. height="139.342"
  961. x="11.525307"
  962. y="121.0028"
  963. ry="45.900894" />
  964. <text
  965. xml:space="preserve"
  966. 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"
  967. x="49.038189"
  968. y="200.4129"
  969. id="text5640-00-0-7-5"
  970. sodipodi:linespacing="125%"><tspan
  971. style="font-size:60.07733154px"
  972. sodipodi:role="line"
  973. id="tspan5642-9-5-3-7"
  974. x="49.038189"
  975. y="200.4129">sum_op</tspan></text>
  976. </g>
  977. </g>
  978. <text
  979. xml:space="preserve"
  980. 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"
  981. x="615.82776"
  982. y="1670.8102"
  983. id="text18736-8-6-4-7"
  984. sodipodi:linespacing="125%"><tspan
  985. sodipodi:role="line"
  986. id="tspan18738-3-1-6-1"
  987. x="615.82776"
  988. y="1670.8102"
  989. style="font-size:28px">int_&lt;48&gt;</tspan></text>
  990. <rect
  991. style="fill:#000000;fill-opacity:1"
  992. id="rect18761-34-0"
  993. width="4.0406103"
  994. height="60.609154"
  995. x="133.75008"
  996. y="818.65027" />
  997. <path
  998. style="fill:#000000;fill-opacity:1"
  999. d="m 120.20815,854.24649 30.30458,0 -15.44939,26.26396 0,0 z"
  1000. id="rect18817-7-4"
  1001. inkscape:connector-curvature="0"
  1002. sodipodi:nodetypes="ccccc" />
  1003. <rect
  1004. style="fill:#000000;fill-opacity:1"
  1005. id="rect18761-34-3"
  1006. width="4.0406103"
  1007. height="42.426407"
  1008. x="194.35921"
  1009. y="917.64532" />
  1010. <path
  1011. style="fill:#000000;fill-opacity:1"
  1012. d="m 180.8173,935.0587 30.30458,0 -15.44939,26.2639 0,0 z"
  1013. id="rect18817-7-7"
  1014. inkscape:connector-curvature="0"
  1015. sodipodi:nodetypes="ccccc" />
  1016. <rect
  1017. style="fill:#000000;fill-opacity:1"
  1018. id="rect18761-34-9"
  1019. width="4.0406103"
  1020. height="60.609154"
  1021. x="291.33386"
  1022. y="1038.8635" />
  1023. <path
  1024. style="fill:#000000;fill-opacity:1"
  1025. d="m 277.79194,1074.4597 30.30458,0 -15.44939,26.264 0,0 z"
  1026. id="rect18817-7-2"
  1027. inkscape:connector-curvature="0"
  1028. sodipodi:nodetypes="ccccc" />
  1029. <rect
  1030. style="fill:#000000;fill-opacity:1"
  1031. id="rect18761-34-30"
  1032. width="4.0406103"
  1033. height="60.609154"
  1034. x="360.02423"
  1035. y="1119.6758" />
  1036. <path
  1037. style="fill:#000000;fill-opacity:1"
  1038. d="m 346.48232,1155.272 30.30458,0 -15.44939,26.2639 0,0 z"
  1039. id="rect18817-7-41"
  1040. inkscape:connector-curvature="0"
  1041. sodipodi:nodetypes="ccccc" />
  1042. <rect
  1043. style="fill:#000000;fill-opacity:1"
  1044. id="rect18761-34-2"
  1045. width="4.0406103"
  1046. height="60.609154"
  1047. x="459.01917"
  1048. y="1253.016" />
  1049. <path
  1050. style="fill:#000000;fill-opacity:1"
  1051. d="m 445.47727,1288.6121 30.30458,0 -15.44939,26.264 0,0 z"
  1052. id="rect18817-7-1"
  1053. inkscape:connector-curvature="0"
  1054. sodipodi:nodetypes="ccccc" />
  1055. <rect
  1056. style="fill:#000000;fill-opacity:1"
  1057. id="rect18761-34-36"
  1058. width="4.0406103"
  1059. height="60.609154"
  1060. x="535.79083"
  1061. y="1335.8485" />
  1062. <path
  1063. style="fill:#000000;fill-opacity:1"
  1064. d="m 522.24886,1371.4446 30.30458,0 -15.44939,26.264 0,0 z"
  1065. id="rect18817-7-0"
  1066. inkscape:connector-curvature="0"
  1067. sodipodi:nodetypes="ccccc" />
  1068. <rect
  1069. style="fill:#000000;fill-opacity:1"
  1070. id="rect18761-34-23"
  1071. width="4.0406103"
  1072. height="153.54318"
  1073. x="652.96844"
  1074. y="1469.1886"
  1075. inkscape:transform-center-x="-147.89218"
  1076. inkscape:transform-center-y="76.771592" />
  1077. <path
  1078. style="fill:#000000;fill-opacity:1"
  1079. d="m 639.42655,1616.7848 30.30458,0 -15.44939,26.2639 0,0 z"
  1080. id="rect18817-7-45"
  1081. inkscape:connector-curvature="0"
  1082. sodipodi:nodetypes="ccccc"
  1083. inkscape:transform-center-x="-147.48227"
  1084. inkscape:transform-center-y="48.728125" />
  1085. <path
  1086. style="fill:#000000;fill-opacity:1"
  1087. d="m 639.87327,1366.7441 30.30458,0 -15.44939,26.264 0,0 z"
  1088. id="rect18817-7-71"
  1089. inkscape:connector-curvature="0"
  1090. sodipodi:nodetypes="ccccc" />
  1091. <path
  1092. style="fill:#000000;fill-opacity:1"
  1093. d="m 439.41635,1155.2719 30.30458,0 -15.44939,26.264 0,0 z"
  1094. id="rect18817-7-3"
  1095. inkscape:connector-curvature="0"
  1096. sodipodi:nodetypes="ccccc" />
  1097. <path
  1098. style="fill:#000000;fill-opacity:1"
  1099. d="m 257.5889,935.0993 30.30458,0 -15.44939,26.264 0,0 z"
  1100. id="rect18817-7-8"
  1101. inkscape:connector-curvature="0"
  1102. sodipodi:nodetypes="ccccc" />
  1103. <g
  1104. id="g3106-8-7"
  1105. transform="matrix(1,0,0,5.3862231,-179.82241,-1134.6681)">
  1106. <path
  1107. inkscape:connector-curvature="0"
  1108. id="path3086-6-4"
  1109. d="m 8.0812203,274.54473 c -34.3451863,0 -40.4061013,115.15739 -40.4061013,115.15739"
  1110. style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
  1111. <path
  1112. inkscape:connector-curvature="0"
  1113. id="path3086-0-1-1"
  1114. d="m 9.147187,505.28081 c -34.345187,0 -40.406097,-115.15739 -40.406097,-115.15739"
  1115. style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
  1116. </g>
  1117. <text
  1118. xml:space="preserve"
  1119. 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"
  1120. x="-412.73846"
  1121. y="914.56964"
  1122. id="text3081-8-1"
  1123. sodipodi:linespacing="125%"><tspan
  1124. sodipodi:role="line"
  1125. x="-412.73846"
  1126. y="914.56964"
  1127. style="font-size:28px;text-align:start;text-anchor:start"
  1128. id="tspan3586-7">parsing with</tspan><tspan
  1129. sodipodi:role="line"
  1130. x="-412.73846"
  1131. y="949.56964"
  1132. style="font-size:28px;text-align:start;text-anchor:start"
  1133. id="tspan3668">foldl&lt;</tspan><tspan
  1134. sodipodi:role="line"
  1135. x="-412.73846"
  1136. y="984.56964"
  1137. style="font-size:28px;text-align:start;text-anchor:start"
  1138. id="tspan3672"> int_token,</tspan><tspan
  1139. sodipodi:role="line"
  1140. x="-412.73846"
  1141. y="1019.5696"
  1142. style="font-size:28px;text-align:start;text-anchor:start"
  1143. id="tspan3674"> int_&lt;0&gt;,</tspan><tspan
  1144. sodipodi:role="line"
  1145. x="-412.73846"
  1146. y="1054.5696"
  1147. style="font-size:28px;text-align:start;text-anchor:start"
  1148. id="tspan3219"> sum_op</tspan><tspan
  1149. sodipodi:role="line"
  1150. x="-412.73846"
  1151. y="1089.5696"
  1152. style="font-size:28px;text-align:start;text-anchor:start"
  1153. id="tspan3670">&gt;</tspan></text>
  1154. <rect
  1155. style="fill:#000000;fill-opacity:1"
  1156. id="rect18761-34-4"
  1157. width="4.0406103"
  1158. height="847.51794"
  1159. x="653.41516"
  1160. y="540.23914" />
  1161. <rect
  1162. style="fill:#000000;fill-opacity:1"
  1163. id="rect18761-34-34"
  1164. width="4.0406103"
  1165. height="644.47723"
  1166. x="452.95828"
  1167. y="535.80768" />
  1168. <rect
  1169. style="fill:#000000;fill-opacity:1"
  1170. id="rect18761-34-99"
  1171. width="4.0406103"
  1172. height="422.24377"
  1173. x="271.1308"
  1174. y="537.86859" />
  1175. <text
  1176. xml:space="preserve"
  1177. 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"
  1178. x="74.962906"
  1179. y="526.15826"
  1180. id="text18736"
  1181. sodipodi:linespacing="125%"><tspan
  1182. sodipodi:role="line"
  1183. id="tspan18738"
  1184. x="74.962906"
  1185. y="526.15826"
  1186. style="font-size:28px">int_&lt;11&gt; int_&lt;13&gt; int_&lt;3&gt; int_&lt;21&gt;</tspan></text>
  1187. <rect
  1188. style="fill:#000000;fill-opacity:1"
  1189. id="rect18761"
  1190. width="4.0406103"
  1191. height="47.75201"
  1192. x="81.333267"
  1193. y="444.27557" />
  1194. <rect
  1195. style="fill:#000000;fill-opacity:1"
  1196. id="rect18761-1"
  1197. width="4.0406103"
  1198. height="44.894867"
  1199. x="270.70486"
  1200. y="443.15149" />
  1201. <rect
  1202. style="fill:#000000;fill-opacity:1"
  1203. id="rect18761-7"
  1204. width="4.0406103"
  1205. height="44.180584"
  1206. x="451.26321"
  1207. y="443.67944" />
  1208. <rect
  1209. style="fill:#000000;fill-opacity:1"
  1210. id="rect18761-3"
  1211. width="4.0406103"
  1212. height="46.323441"
  1213. x="652.1062"
  1214. y="441.65906" />
  1215. <path
  1216. style="fill:#000000;fill-opacity:1"
  1217. d="m 67.791318,479.87179 30.3045,0 -15.4494,26.26396 0,0 z"
  1218. id="rect18817"
  1219. inkscape:connector-curvature="0"
  1220. sodipodi:nodetypes="ccccc" />
  1221. <path
  1222. style="fill:#000000;fill-opacity:1"
  1223. d="m 257.26842,479.87179 30.3046,0 -15.4494,26.26396 0,0 z"
  1224. id="rect18817-9"
  1225. inkscape:connector-curvature="0"
  1226. sodipodi:nodetypes="ccccc" />
  1227. <path
  1228. style="fill:#000000;fill-opacity:1"
  1229. d="m 437.25832,479.87179 30.3046,0 -15.4494,26.26396 0,0 z"
  1230. id="rect18817-1"
  1231. inkscape:connector-curvature="0"
  1232. sodipodi:nodetypes="ccccc" />
  1233. <path
  1234. style="fill:#000000;fill-opacity:1"
  1235. d="m 638.93362,479.87179 30.3045,0 -15.4494,26.26396 0,0 z"
  1236. id="rect18817-8"
  1237. inkscape:connector-curvature="0"
  1238. sodipodi:nodetypes="ccccc" />
  1239. <rect
  1240. style="fill:#000000;fill-opacity:1"
  1241. id="rect18761-3-0"
  1242. width="104.2689"
  1243. height="4.8948693"
  1244. x="-55.046833"
  1245. y="676.93555" />
  1246. <rect
  1247. style="fill:#000000;fill-opacity:1"
  1248. id="rect18761-3-0-4"
  1249. width="315.74612"
  1250. height="4.8948693"
  1251. x="-55.761116"
  1252. y="1442.6312" />
  1253. <rect
  1254. style="fill:#000000;fill-opacity:1"
  1255. id="rect18761-34-4-3"
  1256. width="4.0406103"
  1257. height="762.66516"
  1258. x="-55.144455"
  1259. y="679.88806" />
  1260. <rect
  1261. style="fill:#000000;fill-opacity:1"
  1262. id="rect18761-34-4-8"
  1263. width="4.0406103"
  1264. height="41.416218"
  1265. x="255.98254"
  1266. y="1443.5634" />
  1267. </g>
  1268. </svg>