SQLite format 3@ .0:  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 L Xn٥B[G-^^PLbkKES:甆q1*rTMK #5tv4 os'%Ǒ[ }3vΕa5h<~H<*]^(_M]24qL+~͝Py8p2Bnd( Zuw#,W{dŐ6tۑx   SuperCalc  峜wiRT*OqqtPVE$`f<2˥ܻ Y}Y֣.uMd-cmE$+p%ą`:Rg(2c/@aK Ʊ*#ӿdP9``c(y&w`B3wMJ_D~&+rwct.S6ަ k]:ߕ<M AQ20qqZw$1UM6sP1 R v-BkzNbتy|ӘDF[;·E(Z+&rO0|".XJ;>ߞX51RߌѲ=Ɲvky]32=f^,; fZzIN< >5(*OrPUgثeu`]b&^wL]KYƛ 0MEsq+@qahI둼 rTzB)oK/$ }!Iiȏ,?_/$=Y>N@-%dp= i"ҰqI%U_;/!iE"&{4ջ;Torتz;d7<+h_sl[ZԮ&lʑgkRtFe;6\<.G|Z=(ݿvޗ| _Tk-@Iv͵nkPfX"(cĽ$>gU(A}b2?ZrHx=4 Q*/+ؽB8R 'J҄E"Ycmywl2$ OtnlY^Gw)pXe ]v5Cõu/Z#oX#ZrT'$t%]z 1hWfMhMf Iγ#X{i2kN_.}N5 F>xyƫɴ<{ݳ\qޤ\gq0*U%,7Nnܖ]@䘮Ğ;\y.vtg%&3,El,OI =043^r 12ac$ISQ~j z5])T9\$R!,Gb4j(7|1V}4J.P %ehݐKfq4RT.kךmëP| DBi 2].bf TnXٵ&ɵF"݂ON2Qw?4}KE@w7Y2bŅu nyF$ n}q0}8UK-Ab%_U[K- Er@$lOJҙ xΝHeHf31feyp.xfDI~rÉ{$,+`PNǠ7qǼ->߳Db7eB??`& ҂5½t^WxkGu `~f dk"GиN}\ MT9gщQ:$W~9Љv>JWf:.~j1d6Nzrؼ4lm6axXVh&E7U'"eȡg:q8j@2tʭ| ]b*h̀;d`92kEX/jea-_HLwrM ('o]oZsA,gEy{wGT &:D2|3hC>Noצe5qn5yΉ2 YՐ W Eݿ=SR})AkWGZ/&@cCqny{kuo8Ku[%Z_Z؆R]!I *b9gPO^.D-ݫwH^Cgr\x[(]ZNHsp\:Qڧeɀ;8ЩmdonG4Yh 9|0f#,',u\]by&1c.dfT}n,P jB썤%qrʾ΍<!"- eg^c|#7/=pI1z gYZ92667d0c72cafbf03c6b3144702351d3967e69c313f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5