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 Vl\ ] Circus:threads=2elapsed=55.066cpu=106.880gc=4.232factor=1.947zXZִF! I]ŗXf1-/6vRZyⵞCy*!Jlú,CW+jG#m@ڃAFPY~جc:$D u6B"zLDdXFdeb0DdsfF8lE"i6@Htnk"7㒜Js{RR_X7y-Z+تsn)sRVWREUU5Ij6q`? a~)MVo`9 b>4:LN[Ϲ3tE55;Q{^cJ?ƖOxjg7,2$Pg=]`7:gfȥQFb9I5RECǂxˠYB맳o@wQ#R_^}3j"q)e;UT |#Nrkռ uZ r,ei!жT;`4_*#ŧ{rv%c&>KZ#!ASP= XE0<$3:9!d._0j@ɾ Q;ϷJzڨSkQ 7E)6ZŶ;i)TXE b24!?hQ`[oy7[pAWȒe- YF8#(ɫw淍>mV b tGbT~ @OM) :xU+qȠ-EqӨ#_(f~sk;3UX'v<t mu7 SZ#=S\+Z2JX{X}ɲQY͙Ap=z3r%O U[Z1l7;!CMm\mO ܹԹJPb xݽ*/_1Mp鹘NV?A,wȁL 8gYZ7zXZִF! d/]ŗXiɟ>+yC, 26͜[38{pԧݜk;&`I!9y 봾gVF2t rOb%ߑMgf='tuQ|꙾5I>OxYO~۝er:j\i'm=VQeb)A/!jjKz2${w8~6&RW/\7|hǤi؅_;bW3ѓdޛYHqDDT   Circus  ۙwԿf0<9cr'gYZ7zXZִF! f]ŗXi%;DP9q8| tͧʍ59)7[Z?G&-:0>`Fausx"6?G[8f,!#C _Qbi͂ʓg(Bt9$2p=(VL X*-QSh:+dߔWϼStLنC!e,:%@+]$;7$Vb %1{!DK`\}1ѵ'uʅ|׺8mOhFӤ71{sXSYnhNuZ7CbupQ@-lqrrmo[1[8D$#֫l.YNXET=+,3sفœ;ITR=AhWfiB1}#zmfp1Ÿ+ЈLTY5~A@PK3s' 9>j/R'm(_FSz?:`f&\"Ϟb>QWCF8f 8ƫP[5t.  :tJA |E.Lfه۱6cklR*n@ȔE*DON2b+b+Xxm۰Oc$pEN.cg69<-,*"vE,;pEH.'`*4HVU&pGQ-9~ZZIH$jvy]щDd 7!;Xz L59"+:jk.`¥„UiVKPhf[KmݷtFlNVyw|RKcHo>lO^UнP7.[߿ H@U8+㯃m^ƽrR`Lu,)q%-Vϛ,if6>sN9EQ⸁=&C iDX~JCh)wP 3%;kսYD|*311&.wty"W3w[P2$Nq3|tԟՌ9F¢ vb>yM-[ٳtbw\O,z^ 1ijUQUm.\j^\Ϟ8-Ǿ79}Nѷ߇?8a@D|z& P %f?W>><{.%dq^t240SãiwNl^hEWc }ˀ(ʶ#\ᔋl5Un8F__KP@+֘D"=4)\a3Wb~H)ʬ?bj|g(T2/#'v[[!ReVfP7w<(94*>V]M+_ϧuZ RSӜn\u߷iE )S_L&D[sj;H WO p$;H.}XGEqt#Hjؚ`R?R/qxu?b_(?TtVY<9!Q|/2.7.n5ϽN CZUpH8+~^qG.dv-'o0z碂}DDYّgq<LJ"M7"xq@zǤ!Glƛnn+ qEwD=UsFOkURBN[E#}|^Z/ǫŴegw6LM zQO&R b;5;WN̼Pm%vphA!;qj}ٸL[omH$XZ}FpFMTXmb6!O~MnX}\٢r&Ȑ<ֱ}+CجyBiػzf,x"(r0b*c 6.-/͇ۢ z:Õ ZH[}gx>{ Ko J Cޝ%^i]vڰqT2볤gwۖ k8\C0o&O. $jʴ|5BYu~ɳ%wY> 3j oHXphSw^p:4i "،mp6)gfawDWFc~I_ {penܟ;U\6\HJ wƯ픃 I#s>F_,ƫ-: [r;HfBwkbY]Yk(I0ÆJMSIS[ײÍi 2O^/cUPBmZґgw>,[EZoJkûNifz+%?t-]u֩B;ة@ý@|L1NلP<(1d89ߵY $+d8e8ޭ 9.HHT'<fc1,-f 堌dPfTZQW{maj$6"uk6vp3xmf@&$,->=l<֒ #0$ͧG%'.1+f:M|˴~KwB'1Q.œ[UChuǨ XyOa4dF5l\}#{@$H?U:s:ZT_ t2&5[sD~[.Rk&E2