SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  3p4D| ]S Monad_Normalisation:threads=4elapsed=0.904cpu=1.332gc=0.0007zXZִF! jX]ŗXiɟ{w1]svNgYZ7zXZִF! w]ŗXi%D4G$oc Yƈ]/A7hMJIxcǮ+$?2[ P#0a늃^`+vyNY6[>Jp7NFG6L saomuh*8ڋM@-HWe`ri|}>KVωzBë>=sHȑ9&"+zmu1 D$$LT-dƫG4SH$ }_:V]v5s3xo*WeƏΞ_Zܝ#͟b>Z?yWb2G|6; E6-xK݈&mV WuwE`Syq\@1rm9ރ'qS"}X5e6K]C K9ig9 99Ts{ֽ@dHF*? SVfͼmaE< LsCL#KCי%a8#~yp^3W `ϰ+8¯^d,|GBWHլ^L]|Wi;3a'N0 CᏭ8{fC%\GEZ53C彽Sb50)tc̉FD TS~v= =S^WԕP娯2fݘgUfYy/IhGe&}h 18k$ 5='kSZ%:):f/V%)YS린BMCT+|`Ts~J3[Yf98(3 3 EڝYn;&*{=hW.1&u 0bFA]`{] 8ab޸>yWeiI`3E yQȤAGu{Qn >/}E?me{HeB:BJF> #MKW۰V< g D.®穿QJBDkp@ @L8!h7^RiuMJՒ] /,2b-7gn2]?D[scQY5EM?M"T. nކTO@3ch<0\QҺEsQm'T "rhBrDr,^Bn8 EsTq;"%eWg; ~n[=[IH"qUu & Lj*ge*w.ESRL$J'(0sR2EM,VMHDytMtY ,Pf/3N"]Mfr{V,͡Z=5rKȓvǘ7lc. MT)d#~;:QͷG6o;Lf|AWO~:665}v+p51ܼ#;3=KzpwQ}J tg3X4Wg)%-1qzݞHX&~|H╕_ H&|E w oiV˫a!ըaĹNtmW*f$/0d &mMRPU&հ."$L 1R輮-)\R#Gk㾹l41LG F-`26S<ЍmoHʾ2+dDD|?d(ZĦ<?$2ZzuQ>lQd;kْ;|ٖ][c)O?ыוTG=,Jꇔ<@6|\9FE\w:X_C4Z\pH`+MocBC:GT^{"5`Vt* íC'GVҢpZnL@5RrE3qBS蟒%w#Wf4s2;H$5!E-ݕ9'OqTESDFZoo!k{j\ ֢b>f2qgI9w9b,uЍ*t6a lh`-͟#ļPt4 ktAL mj8MIHT_=LmL,2Lsj}U2vt0;aPOyW Wczh/Ԣ+paRl6kyIr\Y8aMVc+! q]*$zjTXV%jB@`f&Ac=a踓Ex$un_>^bM3N[Kr!ZP,I"y^ @=Cj94aJ4&v`fp\<_.zdFR(3+.~M0+;=K#i.@aΊG M#ZïÙ]~>$ 7UQUA~OL.sMܠtl!,|.Mhi"ovRZ;'yZL0S4Pl}bԁ8T:Jh(\,Ui5{J7# 5T׈f[qL}iTIH ? xcZBZpfJ@D/ӅWUY9%{V'L~+v%%jE&3 `mkخog bbL3[%Monad_NormalisationMonad_Normalisation.Monad_Normalisationdocument.texP3e% Monad_NormalisationMonad_Normalisation.Monad_Normalisation_Testdocument.tex zz3e% lMonad_NormalisationMonad_Normalisation.Monad_Normalisation_Testdocument.tex7zXZִF! W ]A-MՋhvG"uIBm51#pzom?bK:y !{ k+0eJãLf_EN>#KCי%a8#~yp^3W `ϰ+8¯^d,|GBWHլ^L]|Wi;3a'N0 CᏭ8{fC%\GEZ53C彽Sb50)tc̉FD TS~v= =S^WԕP娯2fݘgUfYy/IhGe&}h 18k$ 5='kSZ%:):f/V%)YS린BMCT+|`Ts~J3[Yf98(3 3 EڝYn;&*{=hW.1&u 0bFA]`{] 8ab޸>yWeiI`3E yQȤAGu{Qn >/}E?me{HeB:BJF> #MKW۰V< g D.®穿QJBDkp@ @L8!h7^RiuMJՒ] /,2b-7gn2]?D[scQY5EM?M"T. nކTO@3ch<0\QҺEsQm'T "rhBrDr,^Bn8 EsTq;"%eWg; ~n[=[IH"qUu & Lj*ge*w.ESRL$J'(0sR2EM,VMHDytMtY ,Pf/3N"]Mfr{V,͡Z=5rKȓvǘ7lc. MT)d#~;:QͷG6o;Lf|AWO~:665}v+p51ܼ#;3=KzpwQ}J tg3X4Wg)%-1qzݞHX&~|H╕_ H&|E w oiV˫a!ըaĹNtmW*f$/0d &mMRPU&հ."$L 1R輮-)\R#Gk㾹l41LG F-`26S<ЍmoHʾ2+dDD|?d(ZĦ<?$2ZzuQ>lQd;kْ;|ٖ][c)O?ыוTG=,Jꇔ<@6|\9FE\w:X_C4Z\pH`+MocBC:GT^{"5`Vt* íC'GVҢpZnL@5RrE3qBS蟒%w#Wf4s2;H$5!E-ݕ9'OqTESDFZoo!k{j\ ֢b>f2qgI9w9b,uЍ*t6a lh`-͟#ļPt4 ktAL mj8MIHT_=LmL,2Lsj}U2vt0;aPOyW Wczh/Ԣ+paRl6kyIr\Y8aMVc+! q]*$zjTXV%jB@`f&Ac=a踓Ex$un_>^bM3N[Kr!ZP,I"y^ @=Cj94aJ4&v`fp\<_.zdFR(3+.~M0+;=K#i.@aΊG M#ZïÙ]~>$ 7UQUA~OL.sMܠtl!,|.Mhi"ovRZ;'yZL0S4Pl}bԁ8T:Jh(\,Ui5{J7# 5T׈f[qL}iTIH ? xcZBZpfJ@D/ӅWUY9%{V'L~+v%%jE&3 `mkخogYZ ww3[% |Monad_NormalisationMonad_Normalisation.Monad_Normalisationdocument.tex7zXZִF! X ]A-MՋhvG"uIBm51#pzom?bK:y !{ k+-o2-}iULl]p]Y㫈׻.:6n@@9!Ư^X G^EHk ְ-h].UhQ4ih5s?fZiR s/ |U] bjmmˆ7$給f;^Zy˝d($4HLLCw꛺H)K-*$s94o7 47-*sClS-Q7MS)l2:.~H͏WBP|id,Gr;$lQ0̑K'/uCqpbC5P~]9/2# mZw 690{DT:+Y=wvQ }ʊ`/B٪Ð4!7v򁸤c]$}G %MI9"_/;ܕ"(Fv▣Pf+F@ALzNYcb 6͜vrq!olaWu,D`Cdm@ޯj4?zcLzi-t>"&I.CYF3*}k\1Ǯ# \>|Hk! ) r=ʂdrr.zp̎$=?OU1~j?Xk]^ZhIK)?/SEgMٳ4*vE,KXy=h#v&];5jHkjmr\XB{'x{.?`NCGkt)Kbz \A/j:*I/t} +T/ nwB֜%僀_Vz"vt~H9 fymyW*塭a X9taձ See/ Qe}!cM3jWqR? Es]j7Yi_Yi&CS~%)ʵ- 喢5>3_U3[Nz%WSm,x7tOxMƥ`m!KiKQGm#/.U2Kl8|LqAp0SLiug4GH≠vV#Wh́'CqwMV \*>&xTr ʥTlػan UVIGje}P gT^TZ_(z̛lrwY%C  SP|!v{١;C T9 Q 1ӡv4z`˵ü܎Wvs&WGLu`+ԳKe Uk +J0垑]2%R)㐬2u1_> (*ɢM u-ZaE sf];2i(4a0${'E obO(c+˓2UYUjϻS7U3(X{h%,J`e)X)ݯ,3/WbrvkO31yHUtA |9 ^^SxqV ZOZfVMA!RdSJU[S |MDajr.n>;U= )+V>jKÑ1u FiI^.)m[mtqp$3~N _h;uj6r?(2YthmOmĄtY<ӢXw3z phVETWĞk#Unųwss4pҠDA=[ Q53 t"wLl@4>1hn7RWl -W$п\=GYll0tw2M!̸FgYZ