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  t tpWA0dK:2|) KZH&` V*]%ﻝ!愰%(xw#ML}i~8$H +צCi&}q=d⪄':zySR J1iGFf"(ytۭɒ%RlǶx@ݖ: M9#)e=VnH-zWhv`-ԣen[jS4[ υ1z*t]x2@ANy 0\$#)P] tY16{DjF K@b< DEUEY}qZ뿝YzmLb.dxӾX LW|2BR$YrXv(92LMDF~=R "dbQ !a pE9 L̠ fUCRb=V_8'_ib\ȱBnk)vOm4v7-<R@35ʶc O/Y(Cp+zڮ%:1%p~egi 3S)beC6B•8^LDՄ Ь5h(xƑ26xM}3Ymg.ˆsNDaT1g]ew@Mk1F&k/~`HlT, W5*Gf_V<svȣq`0ALCa?|0[D v]OI:(O7Y[ *lJ ͊~jFժBЛCQBR1T8 #w$ z\)Lʖz%BW0jVlQ,C)tCEyvms5FeTIdiҔ{R~Qin"Y; Lp!A+:E/ qMU|+*%`3<}ݖ㯡i?&G%|1msX>u8 vi=a_7Mogx')7g1^tnw!},͵x׭tFB9dNJ]q4eYg   SuperCalc  Kc@P95m;tC*{PC1Kc*ñ"3h4k8ׂwY f,gYZ7zXZִF! ]ŗXiɟ}Ɓe6ntC բa9v=^MS<^R9$m[Eܱ SJJvBغNfY]|TEb]no1w3>!+Ƶ}= p%E,:rqoQЙRaV) 3>G_?>oj Ϳ%{m/whHŕ*z~s ]rgd{?kOٔzX6KbR-߹ҏ\ȖvaJ񁭗 M\^]N̪L(w6MQ4xR=haAM M0oaH9 S5l=K~m> !d>7]zɻ4C\&sY3 H?c?* ]nC1Uhjv&||paW&;MTSQC[v_v6 Ѕ)kijR7(!O{ )wyipF.uh07 T֟ҩ cQeI\klĹ?#x*fNq.6BnR #+$ƛ-Kݲ)wЏ2 ήvzX)l_#D+Dy![Lj+?cnP%jZ[u! -iHH4P6RVV.: k1S{]0: &cAP4xS,TI(+7bU$:1c߃y/=Ԝ(xy1t/#ԕHCu; /&fw2W5w,Hd؝|Nb]3#x/K>v ' (d߱LZy$鬯z \Bm4|V;ն S| c +t?M7U\g~ƶE^7~| I %>Y)g@޲oNaĨttb>~⋟; ?yE4=wsqJJ#1Ad[ hD!Зva\g]\(c?n Q2IÝmV#Sp̠iU8q~۞oDumGl{CQYYxDư=GV| AF{ݖ!| N_N",_($MEPθtKSC=1 %ݣN\ OQnvD?AǃIB㾶XD}.K/~ޠ<٨q96%#Ln'AU"+lx-IegE_2K]x~/b ƒ:=BJ#Iȼ X#qGbq[v7F]OֱFAf)Ax+ ClXNv1ŵY 쒄198)y #wʃ0liT(QV:>蜩̱Źr[cmq;EkEl0DykՄ5k3c ,R[Zqb3ZF3m1{Wd{1|z)]D > tG9_Z좼U("uul=98[5HyaVd5,Lȫr TYO5,7žQYJ,m~η}Vz57T`7$a~YGg|V6OL9  f,3KC#4#Qn3VĆ{I:3\ծƇcv2oD <+ .g23.վsvT / ݩ^*EJj7գ6؍Rd_s [?fW|bL:=8?T0ܣ84Ա0-TV.,4+c+֓ID6CnHuc߀oYա 1}d;aK:oAcddKC#OӍoj.t3Qg R%;⣄Ew*qmT(l~ w+&~6CHo빵چ !AOZ0G.ZZMn5]b[\a &g`"o% O6f]%zRpR֒~6~V/'Ñ\@k"x{shRe_,  bn~A x %f n{)% KUGdJ]5X ]%K= $cjchwa)My*ɁFn;Vʌ@d}C#ao1ՆE6ͤ"iQ̺@AvMi;rK mK\Ƿ^륙3*RvA=T 6ǧ.<>6JGr_?m %y-j MkG۶ eĢڤ~ ,1΢( `񄈧o1IC;ƶ髚elex')8]`'+z)q5ڻ%vȼN_dSWYͳ^ck3vYqlZD rK$GKʛ"UNgYZ4206ac420d1496117d4400f47493133dc9dd787cd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b