foldr_diag1.svg 40 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239
  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="1090.4526"
  13. height="1417.1938"
  14. id="svg2"
  15. version="1.1"
  16. inkscape:version="0.48.4 r9939"
  17. sodipodi:docname="foldr_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"
  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. inkscape:collect="always"
  501. xlink:href="#linearGradient4707-7"
  502. id="linearGradient18600-3"
  503. gradientUnits="userSpaceOnUse"
  504. gradientTransform="matrix(2.067319,0,0,7.3697213,2957.9771,1184.2675)"
  505. spreadMethod="pad"
  506. x1="-1057.1428"
  507. y1="-137.63783"
  508. x2="-1057.1428"
  509. y2="108.07645" />
  510. <linearGradient
  511. id="linearGradient4707-7">
  512. <stop
  513. id="stop4709-7"
  514. offset="0"
  515. style="stop-color:#c0c0c0;stop-opacity:1;" />
  516. <stop
  517. style="stop-color:#ffffff;stop-opacity:1;"
  518. offset="0.40000001"
  519. id="stop4711-6" />
  520. <stop
  521. id="stop4713-3"
  522. offset="0.60000002"
  523. style="stop-color:#ffffff;stop-opacity:1;" />
  524. <stop
  525. id="stop4715-9"
  526. offset="1"
  527. style="stop-color:#c0c0c0;stop-opacity:1;" />
  528. </linearGradient>
  529. <linearGradient
  530. inkscape:collect="always"
  531. xlink:href="#linearGradient5254-5-7"
  532. id="linearGradient18602-6"
  533. gradientUnits="userSpaceOnUse"
  534. gradientTransform="matrix(2.067319,0,0,7.3697213,2957.9771,1184.2675)"
  535. x1="-1057.1428"
  536. y1="-137.63783"
  537. x2="-1057.1428"
  538. y2="108.07645" />
  539. <linearGradient
  540. id="linearGradient5254-5-7">
  541. <stop
  542. style="stop-color:#c0c0c0;stop-opacity:1;"
  543. offset="0"
  544. id="stop5256-7-44" />
  545. <stop
  546. style="stop-color:#808080;stop-opacity:1;"
  547. offset="1"
  548. id="stop5262-7-49" />
  549. </linearGradient>
  550. </defs>
  551. <sodipodi:namedview
  552. id="base"
  553. pagecolor="#ffffff"
  554. bordercolor="#666666"
  555. borderopacity="1.0"
  556. inkscape:pageopacity="0.0"
  557. inkscape:pageshadow="2"
  558. inkscape:zoom="1.4"
  559. inkscape:cx="707.36172"
  560. inkscape:cy="1293.5889"
  561. inkscape:document-units="px"
  562. inkscape:current-layer="layer1"
  563. showgrid="false"
  564. inkscape:window-width="1855"
  565. inkscape:window-height="1056"
  566. inkscape:window-x="65"
  567. inkscape:window-y="24"
  568. inkscape:window-maximized="1"
  569. fit-margin-top="0"
  570. fit-margin-left="0"
  571. fit-margin-right="0"
  572. fit-margin-bottom="0" />
  573. <metadata
  574. id="metadata7">
  575. <rdf:RDF>
  576. <cc:Work
  577. rdf:about="">
  578. <dc:format>image/svg+xml</dc:format>
  579. <dc:type
  580. rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
  581. <dc:title />
  582. </cc:Work>
  583. </rdf:RDF>
  584. </metadata>
  585. <g
  586. inkscape:label="Ebene 1"
  587. inkscape:groupmode="layer"
  588. id="layer1"
  589. transform="translate(274.73846,-242.21983)">
  590. <g
  591. transform="matrix(0.54151067,0,0,0.5239281,-19.221657,512.70191)"
  592. id="g17514-5">
  593. <rect
  594. ry="68.776787"
  595. y="138.33096"
  596. x="28.290833"
  597. height="1789.7896"
  598. width="1494.3762"
  599. id="rect5215-5-12"
  600. style="fill:url(#linearGradient18600-3);fill-opacity:1;stroke:url(#linearGradient18602-6);stroke-width:39.03276062;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  601. <text
  602. sodipodi:linespacing="125%"
  603. id="text5640-00-5"
  604. y="1885.0845"
  605. x="381.11914"
  606. 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"
  607. xml:space="preserve"><tspan
  608. y="1885.0845"
  609. x="381.11914"
  610. id="tspan5642-9-88"
  611. sodipodi:role="line"
  612. style="font-size:60.07733154px">foldr&lt;int_token, int_&lt;0&gt;, sum_op&gt;</tspan></text>
  613. </g>
  614. <path
  615. style="fill:#c0c0c0;fill-opacity:1"
  616. sodipodi:nodetypes="ccccc"
  617. inkscape:connector-curvature="0"
  618. id="rect17648"
  619. d="m 409.73796,284.51725 82.92051,0.12897 -338.40179,88.89341 -136.073937,0 z" />
  620. <path
  621. style="fill:#808080;fill-opacity:1"
  622. sodipodi:nodetypes="ccccc"
  623. inkscape:connector-curvature="0"
  624. id="rect17648-3"
  625. d="m 488.12451,284.54116 72.81898,0.12897 -217.18348,88.89341 -136.07394,0 z" />
  626. <path
  627. style="fill:#c0c0c0;fill-opacity:1"
  628. sodipodi:nodetypes="ccccc"
  629. inkscape:connector-curvature="0"
  630. id="rect17648-37"
  631. d="m 563.86064,282.11475 52.6159,0.12897 -75.76209,88.89341 -136.07394,0 z" />
  632. <path
  633. style="fill:#808080;fill-opacity:1"
  634. sodipodi:nodetypes="ccccc"
  635. inkscape:connector-curvature="0"
  636. id="rect17648-5"
  637. d="m 614.94691,284.54116 54.63629,0.12897 57.57796,88.89341 -136.07394,0 z" />
  638. <rect
  639. style="fill:#808080;fill-opacity:1"
  640. y="243.10817"
  641. x="-669.96472"
  642. height="42.426407"
  643. width="56.568546"
  644. id="rect18516-4-8"
  645. transform="scale(-1,1)" />
  646. <rect
  647. style="fill:#808080;fill-opacity:1"
  648. y="243.08786"
  649. x="485.39606"
  650. height="42.426407"
  651. width="78.791901"
  652. id="rect18516-4" />
  653. <rect
  654. style="fill:#c0c0c0;fill-opacity:1"
  655. y="243.14877"
  656. x="563.25391"
  657. height="42.426407"
  658. width="50.507629"
  659. id="rect18516-6" />
  660. <rect
  661. style="fill:#c0c0c0;fill-opacity:1"
  662. y="242.21983"
  663. x="412.14224"
  664. height="42.426407"
  665. width="78.791901"
  666. id="rect18516" />
  667. <text
  668. xml:space="preserve"
  669. 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"
  670. x="704.02618"
  671. y="278.58533"
  672. id="text2985"
  673. sodipodi:linespacing="125%"><tspan
  674. sodipodi:role="line"
  675. id="tspan2987"
  676. x="704.02618"
  677. y="278.58533">BOOST_METAPARSE_STRING(&quot;11 13 3 21&quot;)</tspan></text>
  678. <g
  679. transform="matrix(0.54151067,0,0,0.5239281,-1.7638252,307.9855)"
  680. id="g17514">
  681. <rect
  682. ry="45.900894"
  683. y="121.0028"
  684. x="11.525307"
  685. height="139.342"
  686. width="307.91342"
  687. id="rect5215-5"
  688. style="fill:url(#linearGradient18600);fill-opacity:1;stroke:url(#linearGradient18602);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  689. <text
  690. sodipodi:linespacing="125%"
  691. id="text5640-00"
  692. y="206.41183"
  693. x="26.949203"
  694. 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"
  695. xml:space="preserve"><tspan
  696. y="206.41183"
  697. x="26.949203"
  698. id="tspan5642-9"
  699. sodipodi:role="line"
  700. style="font-size:60.07733154px">int_token</tspan></text>
  701. </g>
  702. <g
  703. transform="matrix(0.54151067,0,0,0.5239281,187.60783,307.9855)"
  704. id="g17514-2">
  705. <rect
  706. ry="45.900894"
  707. y="121.0028"
  708. x="11.525307"
  709. height="139.342"
  710. width="307.91342"
  711. id="rect5215-5-1"
  712. style="fill:url(#linearGradient18604);fill-opacity:1;stroke:url(#linearGradient18606);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  713. <text
  714. sodipodi:linespacing="125%"
  715. id="text5640-00-3"
  716. y="206.41183"
  717. x="26.949203"
  718. 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"
  719. xml:space="preserve"><tspan
  720. y="206.41183"
  721. x="26.949203"
  722. id="tspan5642-9-8"
  723. sodipodi:role="line"
  724. style="font-size:60.07733154px">int_token</tspan></text>
  725. </g>
  726. <g
  727. transform="matrix(0.54151067,0,0,0.5239281,376.97949,305.9652)"
  728. id="g17514-1">
  729. <rect
  730. ry="45.900894"
  731. y="121.0028"
  732. x="11.525307"
  733. height="139.342"
  734. width="307.91342"
  735. id="rect5215-5-8"
  736. style="fill:url(#linearGradient18608);fill-opacity:1;stroke:url(#linearGradient18610);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  737. <text
  738. sodipodi:linespacing="125%"
  739. id="text5640-00-8"
  740. y="206.41183"
  741. x="26.949203"
  742. 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"
  743. xml:space="preserve"><tspan
  744. y="206.41183"
  745. x="26.949203"
  746. id="tspan5642-9-3"
  747. sodipodi:role="line"
  748. style="font-size:60.07733154px">int_token</tspan></text>
  749. </g>
  750. <g
  751. transform="matrix(0.54151067,0,0,0.5239281,566.35115,305.92458)"
  752. id="g17514-3">
  753. <rect
  754. ry="45.900894"
  755. y="121.0028"
  756. x="11.525307"
  757. height="139.342"
  758. width="307.91342"
  759. id="rect5215-5-7"
  760. style="fill:url(#linearGradient18612);fill-opacity:1;stroke:url(#linearGradient18614);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
  761. <text
  762. sodipodi:linespacing="125%"
  763. id="text5640-00-7"
  764. y="206.41183"
  765. x="26.949203"
  766. 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"
  767. xml:space="preserve"><tspan
  768. y="206.41183"
  769. x="26.949203"
  770. id="tspan5642-9-85"
  771. sodipodi:role="line"
  772. style="font-size:60.07733154px">int_token</tspan></text>
  773. </g>
  774. <g
  775. transform="matrix(0.54151067,0,0,0.5239281,540.81613,662.68608)"
  776. id="g17514-32">
  777. <g
  778. id="g3184"
  779. transform="translate(89.540843,-19.280365)">
  780. <rect
  781. style="fill:url(#linearGradient3189);fill-opacity:1;stroke:url(#linearGradient3191);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
  782. id="rect5215-5-3"
  783. width="307.91342"
  784. height="139.342"
  785. x="11.525307"
  786. y="121.0028"
  787. ry="45.900894" />
  788. <text
  789. xml:space="preserve"
  790. 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"
  791. x="49.038189"
  792. y="200.4129"
  793. id="text5640-00-0"
  794. sodipodi:linespacing="125%"><tspan
  795. style="font-size:60.07733154px"
  796. sodipodi:role="line"
  797. id="tspan5642-9-5"
  798. x="49.038189"
  799. y="200.4129">sum_op</tspan></text>
  800. </g>
  801. </g>
  802. <rect
  803. style="fill:#000000;fill-opacity:1"
  804. id="rect18761-6"
  805. width="4.0406103"
  806. height="149.50259"
  807. x="635.28308"
  808. y="540.83295" />
  809. <path
  810. style="fill:#000000;fill-opacity:1"
  811. d="m 621.74113,686.99769 30.30458,0 -15.44939,26.26396 0,0 z"
  812. id="rect18817-2"
  813. inkscape:connector-curvature="0"
  814. sodipodi:nodetypes="ccccc" />
  815. <rect
  816. style="fill:#000000;fill-opacity:1"
  817. id="rect18761-34"
  818. width="4.0406103"
  819. height="60.609154"
  820. x="726.56226"
  821. y="649.89905" />
  822. <path
  823. style="fill:#000000;fill-opacity:1"
  824. d="m 713.02035,685.49522 30.30458,0 -15.44939,26.26396 0,0 z"
  825. id="rect18817-7"
  826. inkscape:connector-curvature="0"
  827. sodipodi:nodetypes="ccccc" />
  828. <text
  829. xml:space="preserve"
  830. 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"
  831. x="585.96509"
  832. y="875.38232"
  833. id="text18736-8-6"
  834. sodipodi:linespacing="125%"><tspan
  835. sodipodi:role="line"
  836. id="tspan18738-3-1"
  837. x="585.96509"
  838. y="875.38232"
  839. style="font-size:28px">int_&lt;21&gt;</tspan></text>
  840. <g
  841. transform="matrix(0.54151067,0,0,0.5239281,424.27809,883.3054)"
  842. id="g17514-32-2">
  843. <g
  844. id="g3184-8"
  845. transform="translate(89.540843,-19.280365)">
  846. <rect
  847. 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"
  848. id="rect5215-5-3-2"
  849. width="307.91342"
  850. height="139.342"
  851. x="11.525307"
  852. y="121.0028"
  853. ry="45.900894" />
  854. <text
  855. xml:space="preserve"
  856. 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"
  857. x="49.038189"
  858. y="200.4129"
  859. id="text5640-00-0-7"
  860. sodipodi:linespacing="125%"><tspan
  861. style="font-size:60.07733154px"
  862. sodipodi:role="line"
  863. id="tspan5642-9-5-3"
  864. x="49.038189"
  865. y="200.4129">sum_op</tspan></text>
  866. </g>
  867. </g>
  868. <text
  869. xml:space="preserve"
  870. 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"
  871. x="430.73636"
  872. y="1087.5144"
  873. id="text18736-8-6-4"
  874. sodipodi:linespacing="125%"><tspan
  875. sodipodi:role="line"
  876. id="tspan18738-3-1-6"
  877. x="430.73636"
  878. y="1087.5144"
  879. style="font-size:28px">int_&lt;24&gt;</tspan></text>
  880. <g
  881. transform="matrix(0.54151067,0,0,0.5239281,253.39989,1100.1037)"
  882. id="g17514-32-2-8">
  883. <g
  884. id="g3184-8-4"
  885. transform="translate(89.540843,-19.280365)">
  886. <rect
  887. 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"
  888. id="rect5215-5-3-2-9"
  889. width="307.91342"
  890. height="139.342"
  891. x="11.525307"
  892. y="121.0028"
  893. ry="45.900894" />
  894. <text
  895. xml:space="preserve"
  896. 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"
  897. x="49.038189"
  898. y="200.4129"
  899. id="text5640-00-0-7-0"
  900. sodipodi:linespacing="125%"><tspan
  901. style="font-size:60.07733154px"
  902. sodipodi:role="line"
  903. id="tspan5642-9-5-3-8"
  904. x="49.038189"
  905. y="200.4129">sum_op</tspan></text>
  906. </g>
  907. </g>
  908. <text
  909. xml:space="preserve"
  910. 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"
  911. x="219.85818"
  912. y="1304.3127"
  913. id="text18736-8-6-4-0"
  914. sodipodi:linespacing="125%"><tspan
  915. sodipodi:role="line"
  916. id="tspan18738-3-1-6-7"
  917. x="219.85818"
  918. y="1304.3127"
  919. style="font-size:28px">int_&lt;37&gt;</tspan></text>
  920. <g
  921. transform="matrix(0.54151067,0,0,0.5239281,47.06491,1314.0936)"
  922. id="g17514-32-2-2">
  923. <g
  924. id="g3184-8-5"
  925. transform="translate(89.540843,-19.280365)">
  926. <rect
  927. 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"
  928. id="rect5215-5-3-2-5"
  929. width="307.91342"
  930. height="139.342"
  931. x="11.525307"
  932. y="121.0028"
  933. ry="45.900894" />
  934. <text
  935. xml:space="preserve"
  936. 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"
  937. x="49.038189"
  938. y="200.4129"
  939. id="text5640-00-0-7-5"
  940. sodipodi:linespacing="125%"><tspan
  941. style="font-size:60.07733154px"
  942. sodipodi:role="line"
  943. id="tspan5642-9-5-3-7"
  944. x="49.038189"
  945. y="200.4129">sum_op</tspan></text>
  946. </g>
  947. </g>
  948. <text
  949. xml:space="preserve"
  950. 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"
  951. x="21.827759"
  952. y="1652.8102"
  953. id="text18736-8-6-4-7"
  954. sodipodi:linespacing="125%"><tspan
  955. sodipodi:role="line"
  956. id="tspan18738-3-1-6-1"
  957. x="21.827759"
  958. y="1652.8102"
  959. style="font-size:28px">int_&lt;48&gt;</tspan></text>
  960. <rect
  961. style="fill:#000000;fill-opacity:1"
  962. id="rect18761-34-0"
  963. width="4.0406103"
  964. height="60.609154"
  965. x="633.75006"
  966. y="790.65027" />
  967. <path
  968. style="fill:#000000;fill-opacity:1"
  969. d="m 620.20815,826.24649 30.30458,0 -15.44939,26.26396 0,0 z"
  970. id="rect18817-7-4"
  971. inkscape:connector-curvature="0"
  972. sodipodi:nodetypes="ccccc" />
  973. <rect
  974. style="fill:#000000;fill-opacity:1"
  975. id="rect18761-34-3"
  976. width="4.0406103"
  977. height="42.426407"
  978. x="608.35919"
  979. y="889.64532" />
  980. <path
  981. style="fill:#000000;fill-opacity:1"
  982. d="m 594.8173,907.0587 30.30458,0 -15.44939,26.2639 0,0 z"
  983. id="rect18817-7-7"
  984. inkscape:connector-curvature="0"
  985. sodipodi:nodetypes="ccccc" />
  986. <rect
  987. style="fill:#000000;fill-opacity:1"
  988. id="rect18761-34-9"
  989. width="4.0406103"
  990. height="60.609154"
  991. x="517.33386"
  992. y="1010.8635" />
  993. <path
  994. style="fill:#000000;fill-opacity:1"
  995. d="m 503.79194,1046.4597 30.30458,0 -15.44939,26.264 0,0 z"
  996. id="rect18817-7-2"
  997. inkscape:connector-curvature="0"
  998. sodipodi:nodetypes="ccccc" />
  999. <rect
  1000. style="fill:#000000;fill-opacity:1"
  1001. id="rect18761-34-30"
  1002. width="4.0406103"
  1003. height="60.609154"
  1004. x="442.02423"
  1005. y="1091.6758" />
  1006. <path
  1007. style="fill:#000000;fill-opacity:1"
  1008. d="m 428.48232,1127.272 30.30458,0 -15.44939,26.2639 0,0 z"
  1009. id="rect18817-7-41"
  1010. inkscape:connector-curvature="0"
  1011. sodipodi:nodetypes="ccccc" />
  1012. <rect
  1013. style="fill:#000000;fill-opacity:1"
  1014. id="rect18761-34-2"
  1015. width="4.0406103"
  1016. height="60.609154"
  1017. x="327.01917"
  1018. y="1225.016" />
  1019. <path
  1020. style="fill:#000000;fill-opacity:1"
  1021. d="m 313.47727,1260.6121 30.30458,0 -15.44939,26.264 0,0 z"
  1022. id="rect18817-7-1"
  1023. inkscape:connector-curvature="0"
  1024. sodipodi:nodetypes="ccccc" />
  1025. <rect
  1026. style="fill:#000000;fill-opacity:1"
  1027. id="rect18761-34-36"
  1028. width="4.0406103"
  1029. height="60.609154"
  1030. x="233.79083"
  1031. y="1307.8485" />
  1032. <path
  1033. style="fill:#000000;fill-opacity:1"
  1034. d="m 220.24886,1343.4446 30.30458,0 -15.44939,26.264 0,0 z"
  1035. id="rect18817-7-0"
  1036. inkscape:connector-curvature="0"
  1037. sodipodi:nodetypes="ccccc" />
  1038. <rect
  1039. style="fill:#000000;fill-opacity:1"
  1040. id="rect18761-34-23"
  1041. width="4.0406103"
  1042. height="167.68532"
  1043. x="120.96844"
  1044. y="1441.1886"
  1045. inkscape:transform-center-x="-147.89218"
  1046. inkscape:transform-center-y="83.842659" />
  1047. <path
  1048. style="fill:#000000;fill-opacity:1"
  1049. d="m 107.42655,1598.7848 30.30458,0 -15.44939,26.2639 0,0 z"
  1050. id="rect18817-7-45"
  1051. inkscape:connector-curvature="0"
  1052. sodipodi:nodetypes="ccccc"
  1053. inkscape:transform-center-x="-147.48227"
  1054. inkscape:transform-center-y="48.728125" />
  1055. <rect
  1056. style="fill:#000000;fill-opacity:1"
  1057. id="rect18761-34-4"
  1058. width="4.0406103"
  1059. height="814.18292"
  1060. x="127.41516"
  1061. y="545.57416" />
  1062. <path
  1063. style="fill:#000000;fill-opacity:1"
  1064. d="m 111.87327,1338.7441 30.30458,0 -15.44939,26.264 0,0 z"
  1065. id="rect18817-7-71"
  1066. inkscape:connector-curvature="0"
  1067. sodipodi:nodetypes="ccccc" />
  1068. <rect
  1069. style="fill:#000000;fill-opacity:1"
  1070. id="rect18761-34-34"
  1071. width="4.0406103"
  1072. height="614.17273"
  1073. x="336.95828"
  1074. y="538.11218" />
  1075. <path
  1076. style="fill:#000000;fill-opacity:1"
  1077. d="m 323.41635,1127.2719 30.30458,0 -15.44939,26.264 0,0 z"
  1078. id="rect18817-7-3"
  1079. inkscape:connector-curvature="0"
  1080. sodipodi:nodetypes="ccccc" />
  1081. <rect
  1082. style="fill:#000000;fill-opacity:1"
  1083. id="rect18761-34-99"
  1084. width="4.0406103"
  1085. height="400.02042"
  1086. x="515.1308"
  1087. y="532.09192" />
  1088. <path
  1089. style="fill:#000000;fill-opacity:1"
  1090. d="m 501.5889,907.0993 30.30458,0 -15.44939,26.264 0,0 z"
  1091. id="rect18817-7-8"
  1092. inkscape:connector-curvature="0"
  1093. sodipodi:nodetypes="ccccc" />
  1094. <g
  1095. id="g3106-8-7"
  1096. transform="matrix(1,0,0,5.2027123,-49.82241,-1084.3281)">
  1097. <path
  1098. inkscape:connector-curvature="0"
  1099. id="path3086-6-4"
  1100. d="m 8.0812203,274.54473 c -34.3451863,0 -40.4061013,115.15739 -40.4061013,115.15739"
  1101. style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
  1102. <path
  1103. inkscape:connector-curvature="0"
  1104. id="path3086-0-1-1"
  1105. d="m 9.147187,505.28081 c -34.345187,0 -40.406097,-115.15739 -40.406097,-115.15739"
  1106. style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
  1107. </g>
  1108. <text
  1109. xml:space="preserve"
  1110. 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"
  1111. x="-274.73846"
  1112. y="902.56964"
  1113. id="text3081-8-1"
  1114. sodipodi:linespacing="125%"><tspan
  1115. sodipodi:role="line"
  1116. x="-274.73846"
  1117. y="902.56964"
  1118. style="font-size:28px;text-align:start;text-anchor:start"
  1119. id="tspan3586-7">parsing with</tspan><tspan
  1120. sodipodi:role="line"
  1121. x="-274.73846"
  1122. y="937.56964"
  1123. style="font-size:28px;text-align:start;text-anchor:start"
  1124. id="tspan3668">foldr&lt;</tspan><tspan
  1125. sodipodi:role="line"
  1126. x="-274.73846"
  1127. y="972.56964"
  1128. style="font-size:28px;text-align:start;text-anchor:start"
  1129. id="tspan3672"> int_token,</tspan><tspan
  1130. sodipodi:role="line"
  1131. x="-274.73846"
  1132. y="1007.5696"
  1133. style="font-size:28px;text-align:start;text-anchor:start"
  1134. id="tspan3674"> int_&lt;0&gt;,</tspan><tspan
  1135. sodipodi:role="line"
  1136. x="-274.73846"
  1137. y="1042.5696"
  1138. style="font-size:28px;text-align:start;text-anchor:start"
  1139. id="tspan3219"> sum_op</tspan><tspan
  1140. sodipodi:role="line"
  1141. x="-274.73846"
  1142. y="1077.5696"
  1143. style="font-size:28px;text-align:start;text-anchor:start"
  1144. id="tspan3670">&gt;</tspan></text>
  1145. <text
  1146. xml:space="preserve"
  1147. 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"
  1148. x="85.0644"
  1149. y="528.29016"
  1150. id="text18736"
  1151. sodipodi:linespacing="125%"><tspan
  1152. sodipodi:role="line"
  1153. id="tspan18738"
  1154. x="85.0644"
  1155. y="528.29016"
  1156. style="font-size:28px">int_&lt;11&gt; int_&lt;13&gt; int_&lt;3&gt; int_&lt;21&gt;</tspan></text>
  1157. <rect
  1158. style="fill:#000000;fill-opacity:1"
  1159. id="rect18761"
  1160. width="4.0406103"
  1161. height="47.75201"
  1162. x="125.43476"
  1163. y="446.40756" />
  1164. <rect
  1165. style="fill:#000000;fill-opacity:1"
  1166. id="rect18761-1"
  1167. width="4.0406103"
  1168. height="44.894867"
  1169. x="336.8064"
  1170. y="445.28348" />
  1171. <rect
  1172. style="fill:#000000;fill-opacity:1"
  1173. id="rect18761-7"
  1174. width="4.0406103"
  1175. height="44.180584"
  1176. x="515.36475"
  1177. y="445.81143" />
  1178. <rect
  1179. style="fill:#000000;fill-opacity:1"
  1180. id="rect18761-3"
  1181. width="4.0406103"
  1182. height="46.323441"
  1183. x="634.20776"
  1184. y="443.79105" />
  1185. <path
  1186. style="fill:#000000;fill-opacity:1"
  1187. d="m 111.89284,482.00377 30.30449,0 -15.44939,26.2639 0,0 z"
  1188. id="rect18817"
  1189. inkscape:connector-curvature="0"
  1190. sodipodi:nodetypes="ccccc" />
  1191. <path
  1192. style="fill:#000000;fill-opacity:1"
  1193. d="m 323.36993,482.00377 30.3046,0 -15.4494,26.2639 0,0 z"
  1194. id="rect18817-9"
  1195. inkscape:connector-curvature="0"
  1196. sodipodi:nodetypes="ccccc" />
  1197. <path
  1198. style="fill:#000000;fill-opacity:1"
  1199. d="m 501.35982,482.00377 30.3046,0 -15.4494,26.2639 0,0 z"
  1200. id="rect18817-1"
  1201. inkscape:connector-curvature="0"
  1202. sodipodi:nodetypes="ccccc" />
  1203. <path
  1204. style="fill:#000000;fill-opacity:1"
  1205. d="m 621.03512,482.00377 30.3045,0 -15.4494,26.2639 0,0 z"
  1206. id="rect18817-8"
  1207. inkscape:connector-curvature="0"
  1208. sodipodi:nodetypes="ccccc" />
  1209. <rect
  1210. style="fill:#000000;fill-opacity:1"
  1211. id="rect18761-34-4-7"
  1212. width="4.0406103"
  1213. height="764.68542"
  1214. x="771.77954"
  1215. y="649.89905" />
  1216. <rect
  1217. style="fill:#000000;fill-opacity:1"
  1218. id="rect18761-34-6"
  1219. width="4.0406103"
  1220. height="60.609154"
  1221. x="521.26172"
  1222. y="1412.9364" />
  1223. <rect
  1224. style="fill:#000000;fill-opacity:1"
  1225. id="rect18761-3-0-4"
  1226. width="254.30014"
  1227. height="4.8948693"
  1228. x="520.97247"
  1229. y="1412.5093" />
  1230. <rect
  1231. style="fill:#000000;fill-opacity:1"
  1232. id="rect18761-3-0-4-1"
  1233. width="47.535759"
  1234. height="4.8948693"
  1235. x="727.04358"
  1236. y="649.42572" />
  1237. </g>
  1238. </svg>