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 _#87cQd$D#mJk6Җ'\"e^M"Cog|+L:]BZB(n1@T}^؂៏RY}1;V4HHU!I&7u ImsɅi'B:O"˴-&ݻ^phPeG\m_JɁ:5@X϶WsK' KM=rgXn@}ZAcClVqE! <)!MZ˄G֦>څ:#$kp ITM3O}"cJnNN;})1EYo\[Mx7[ FZdF8M(aƘlƍA:;b2 ΄Ao>ł-#Q*$]p;&sjEy\p$x9|1H[;/{+OZَ_ Awљ*QGl+iҠJ<j> YSU\8\)rxvnʬ$;Jhȍ]Y=۔bq*tDG$T}?3WcB;J`;H{02w]8Q/"Y3Y}rW#ITNFf"tʈ*PwOwm?'/aAoHzJ.:LcjL=i9L/jk-]?Hߗ6z{iHR6bTJcbɗ#fMsW[Lfm#>T=Ԅ^DZĚV 2Æ.^%H[`p Y:{uxkfbs±2r(,{Q?s] KJ_ ɽ;;▪{mе/CwǛ(W61|.n-j3^s8ŷ^И6c lV?Dql3+ \z]VfdhoCx=Yv8Y`> ˧]xhyqG NWkvq0BB: )0 p"Jk$iӓ=Rt +V=Ltu\m͐ sZ F@ ; wgYZ7zXZִF! ]ŗXiɟi%3( d+%jh r1 ymLFk.eKPKf0Gxɽd' ́~K_fi^Д6 `gu|LnR0$*ј24>b 7ˮCQٙsT}E<E;X}RQw͖Բ}A(w,. PC0&Gl͖cO,I"Z?&CtP4+7d;f]\JQϠ9ѣ LCgYZ7zXZִF! ]ŗXi%>gw(o+QFܼ nl:q5ٲ b Z g .QtP';xRHIڛ&s0EըF<^XJߙ f9WCar~h)M9tbj.RPCWJOM>"&ǯ|I(Q "`}6M(h`_ysn.<EvmJC [-6X Mu(TEl9BP!g?WXer5ϨZzKKU"S}yJNNĥQ$>hD@7anTn]sKC/5o7 qư΃m%GF ׋p/Gpm\l60晒 $D[r* 5Pp,/iRƯ{f8k} `#ˋJdRFi9لzeZ, 0q@9p#t9_Nus_}Y(W V0LOF{} n=cIźRs*+Am1*|9늸C}W.w=3ٕv½Eg_yl_[zZ J=76@nժ \\8RiCFT9d-Xh[9Co1PMꐾ~B>T 4^¥u}ǟlK!abˉ6|4DzP>0oնZoa vį9=nFګX,I%aX" fx@Րϧ>u:.+bui;&w,k\"׏ء:\Pg~ !OӃ=eV~m-;T"$WBhqɰ- YN bk?'ItOR^ـ|"鉾ctRGFI0@XaPc@ N"QX\2Vكtnr|M_|xhu (i4o% 7~O;C=X$D$v"=L5pf&KĚ1ÑۡqVoGD]N׍rgsbdWwp4O{,4 .5D9<_֟ꋳ;*k)MqՔŀ?i.f;ԬÚ[64XtnCǽ-t+ΔWS#GUߢ۾|W!+X!%ηŞ]Z wYͦIH< :ã "+\KOcأE%UF{CR"fHvр>&D%Ekc?E[XpD'C& )2-ݥV&K |ǸnܗPZqǫxٺ+Loz#RqU*, [/]% A_*eO0+,.8sxdi[Kuհѕ:]<jNE(z,3rs54s~YKcEC KInԻv咡]CnM$۾ a2eG/(DK#u wv%x^J)[׶7ݤKxe Ƭ[IM銝6;*?ČF96E=ls:j-SHfՍP@h:XB83{g\v7 bO.S_/oc<`ͅ/Gf{ݘCsqN)$MH"=q14GV @򊙛ˤӹ@>Fvy.݈D3_xV#yMv%85 N%rzHExv2Pv |W%zAˠnES퇣RC%fkC,֕ v3y gOʄQbin*4!0n}P0 ]/Dq<f+[0S/Sc!m!,H.y߉qCW ]E#*¯:tRLU'Kk%C2S[#5LV;V.du\ZVhMil (ϐVQ`aC\΀`,`)Dm1M4R%t^x%ȧ|_aN$Y`Ae<=xc*\ΎHAUP D.#~&c٬Ct>J}kpj2ɛk}q?`d+[MDTZM_MRdW[ pszku)Ωضve{@=r=Xp[7Izb uYvc:# w2.譼biK>+#4 f{kJ9 /Z`ҦZajc_u,0Շ}ﯚ"vcī> _j2NM~#@:{ay__ +]9v;(ɑ#X^4SpDı&M,8z"ru&5u2|KX?O}d}pyxv{ʉ*3?g6WCI-1GS[q9˽ʇЛǵy_RL9$FQ#ӭJ{XL͗xvOh+^ B jLDDI.YG,~wr"<6_^&֤kū?| #AD %(ui)x(*-]]oKmxHt⡸_ê.dgs?azl^,JXVHV7i>N!M8xS+7l]I4Uxv.:xA]y7bZq x6;TA(P՗rn~TU# aYɃ2U$E~.LdɺRF-:5{E|Nec=!ֵ.HyJ83'[ *lܽtos 7kJnB'ܶzDxh\|302UP-12AֽS $Ύ#S)gpn(ɤ] ucj"܂9U"FAb!:,B˨c6kzY*U_8.e(G.n* H}椲*3o֒_'BT@*%1mڅDr_&^XaUe5ZUG8aE˕/e -i,5d7X֢j:mfhJtq6Y5eo!ؒѐoDCszjЙu[3oO>A[76j0)MW`IBV} :HDܔ\B=ߍHki vзo!ۯq .z9qw @q(?\é|