SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 9/ tdd ]S Monomorphic_Monad:threads=4elapsed=38.413cpu=67.088gc=3.160factor=1.757zXZִF! ]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRK6HMvd޳eC?z:֥3y0G)B2S8SīOtr.%{t=+3PZgˆo~k:WEpPk/jsPҧ2kx]hnjÔ?K*[ rvAbadS‹7 rK"tRl.\TR(Jm,(@yV%t4'`Pc'̢{zX28M r? IwRa #QZbFOЮ t*s͌Ͻry(,iI/\Q+#T'f@vCO?1qsӱ~A ǕiE">ִīdsO('vAFQDYؓZ!)76]{/GfFiyKuZ%rsr9w"6ZuQ<,zw1>ys|+@:5`G5|J $ʷ؍j4Jg /S߿P^^ELj+{g}#h :E1ՠ%&Ad)7oZzLw+$a=gljb<_ к1#Hw(Rϧ'#m!᧳n$ )w?Yޗ/EI=c}f~~F#ȮFpV:/*oֱgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~pŦ{QZD@˽"oKR!7MA!.AlRQHWq8Q~R]YnaUiV :m>Zo4u\{&m~TR0.%}vuP8΅1@Vo蛱Hdk"bJQc}Rtꅧ` fgYZ7zXZִF! ӿ j]ŗXi%B4feu͍"{.r-e`)H/҂& / o4hZ&e=et>󶟢&24V$spK GU($[|m:ѳ$ƌ7:1S|jnq{SJucXyk7HD,'\<Wc}:]3 `z$ÿk'paHP,em`vH| Wdy}GoUI=z6gFN )]aْ]f^=! s`Y|t&∫7y7Yl5o64XpW0GMcj9vgU?_5|x^ꛋ,쁟ul"s'{%HV^:vgMWWĠ[^!Uz}S0 IT?12~k<뢅o/>=2'5pGA*~uJaƝ<[[;Aos#iCx[qi'{% #+LShx5^vX%#3^HV@1ڽL)R}LNlK 4Ð0pZb3F;#!ܘ듬Mfm0MlGڠZߺOu.YCϞ2"(ê r퍵 $Wн1Ŧ{kBܢ1 cc WB_CQANˊɨ-=ڕ4)|*FO 2E^p>+#\zf`P9e:.B ndı1m&5EAE¶';U:)JPVƣg?P0yZbC."蝽xBeJR~ԩze7:\12g&fE+pj_%Fjf`D"gøиgyt1Kh J}AA^>lsNA42`) 6vX0C@怙^}56%$Jh˲ F᨜lBmus4 vy_Zv6M!BoZ1q!ɨQ-.G kgMn8~( c'Ağq9Tn $֗G{5/L?\{z&fR`A24Igz?X'STJHÑ?~fLu"kX{^F7fN+ ;ƛ_B Q@7y`4.eZz'Ʀ0)TV)W,~pn]2~1LCUXCKW*u*TڄXkԁ i|(Ύ-`*7w.e ~zг2"UwJ!Xiڄ'ғ-Tmwwdb(4sʇHc(}ZFhnI vk(s*^ USUyaKDCWҥ.|JOmN*{pZj=6'A7X~MAn-)- nP.ŚZO։qvܮ('R dɁ|k1R35@$4.Cove?>=7rMXɿ*U&nʥKExjGC-&2%7^\-5 7o!vʹ*O8nǭ'Q`Z1C"] r_o͝!^oɢxOeTUN#> zDULGs$;vtB<˂O>$]t'n,;59f'"]v# "[w `:QT 羀QGYb>("ʋ!}̾QG֊_sUFdi,N= .: %`1E% жJN8\*;ǮD9?3_B -qTv:| rŝF{5A1RgZf5+Tae-ZZwrm~z4+%A~.ˀay!/N옗1iKah |oڀCsI]HVxj8gYZ4e76ea8734fd91e685600d6ba9fd467f2cdc73a29cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8 ca9a2d259ef46c754fa4025383c1d433633e8e28 / Monomorphic_Monad