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  1 1L3 D ]S Monad_Normalisation:threads=2elapsed=0.920cpu=1.236gc=0.000factor=1.347zXZִF! Z]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗬPE^p4TQ}mm t/xTFB~p ;vNgYZ7zXZִF! ]ŗXi%; $>>U%WUSz^v,NvhS`p.ZaO8n@0kvOI- 1AY .*g-nA~LD!2 ݘ]oJ"^55 (MSiK;O&1cmF̭ϧ,j\+' ![1IN-$B vyY.iJ`jp!y>k/LPUe*8"V(^m&,٘Fڟ[(ܳ4 G?"GT MJV\XqՂըt舮kK yz8Mg.Iɸ_ c6>}N80%!B%%븱gYZ461c2e2d4f47e135083e640cee5a4d2b88ef214d0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 f318faa4a6672ad86098bf4947bb3f6b089d5a48 3 Monad_NormalisationF3e% tMonad_NormalisationMonad_Normalisation.Monad_Normalisation_Testdocument.tex7zXZִF! ]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-ݖĊ}g܁`2Kq׶'\U?tb)#"*98 m7O\1LD;oW@V8ҳd=!T]K'}d֛։iِ7 9d~[ibZtr+V\v@^ _6+YBл9sq!@(x}〩>\`em:<̊,ؗNʿb/-چ :ZD=L\ܣ٢^jdS|֭@uQ'UgR4c !?a6vt$.SP3D ?!y &+r8>瓲V7PQc דE g bbL3[%Monad_NormalisationMonad_Normalisation.Monad_Normalisationdocument.texP3e% Monad_NormalisationMonad_Normalisation.Monad_Normalisation_Testdocument.tex F3e% tMonad_NormalisationMonad_Normalisation.Monad_Normalisation_Testdocument.tex7zXZִF! ]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-ݖĊ}g܁`2Kq׶'\U?tb)#"*98 m7O\1LD;oW@V8ҳd=!T]K'}d֛։iِ7 9d~[ibZtr+V\v@^ _6+YBл9sq!@(x}〩>\`em:<̊,ؗNʿb/-چ :ZD=L\ܣ٢^jdS|֭@uQ'UgR4c !?a6vt$.SP3D ?!y &+r8>瓲V7PQc דE gYZ xx3[% |Monad_NormalisationMonad_Normalisation.Monad_Normalisationdocument.tex7zXZִF! Y ]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).oR20 orpkVz߲ɮ2s ES )NJM$n*#I@p+p`)1>?!W^9 /K2D"kH9?9) `Xt}1M,c!߿ ٠6 'L@BOiZ#T&#urw+yL[#3{OS'=%RW17H*O- 'hـ#= >7tSQ{d!o@;ߘne@I4ڳvqMZGعN^mҔT]`P\,~] nPt` M]C"$p4GQZ6 Gw-$P`1fN =UdYVrnc?ʨ.Rv*xC0_f{Zio|4,g8v̊\'b[K&thD!lZ=@,vV%} Lh" Thת?m=gR5?'SQZd)ÈŀV/-g{uAqa4^ݞ-uу;2nS=hVЋk>d^Cvt l "obOOzapY;ebRYD%P<'4GSTdn֋ݹzNulFi}@uط;y0.i09jJѫ򺨵_O| ]$0JɏNLl\+`ur0=O$i#e;n%:A32y8 s%@ czKE{.cwpMގ:ܦVJcQO,Ӻp|_0%IbpǓMER4!6w1qP-<@IF 1SW"+x|yUuo%*IwQM~UMG/КQ?ز uDzE۹>|\ZR4moԆ:+@’ǗdTSDp3e bGԁMYzXTt4+_~sYu)* {vq:T8< ZdHeKfe-)(6E{$X&^Xvf{&//z76p&sL$k//ͤgYZ