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  e1 $$ ] HOL-Imperative_HOL:threads=6elapsed=34.301cpu=81.552gc=2.656factor=2.387zXZִF! ..]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø™L][eQw0Y Ltꉌr˕) Lث&W~ &/4ؒwz!6!blr8w"xHPIpf Z 9uS(}0dZ^| Lp?6ֲh9nP=Gڜ6Vn) T:xrSPkCo )ۉTmP Y y*Jx. Cm4滕+I X]c`(YKᝑ 3Ԓu. NI V3' J mbn7A +87s+V%,rT$R~=eyZs0 anDY-V-ڋS ¥׀5O6hJg@c 1 HOL-Imperative_HOL  ߋ:}#FG+`:bDKojGH|kYŲW:"sOř b ֨W'(ib*2(E)0w=3?PpT\T!$9,6!,A/B΢LODBݏ/z8ŢA _O?SӍYTLM*o^YZQcҹEg[Ck. q-6E;D^-Q$nc y*`d`e4EE%p{24?>4fa( w.HPE 8`6tq9qo汓3}9` z4gYZ7zXZִF! J ]ŗXi%GeЉ/J"^融#CaQ~zvELE >eO]|x3~ozsik}x*3Vxq~0BDU 8.rr U"L3ú U6bOUpm=|ԧ ĂHqIR$}0鯏 AF=i'Y[kTe]T)ӆ_NIQwU[ZaSO:>%g-do Cļ 7 h  v)9|5O~\ABtSFIG%up$ u3-ӡ\ vj=~~Ta~jG1(6tРa`bCG,~_9|3X=?@f2vy lgΑ9GջetT,׻t<hsxN2G02R γPRN _F摚0E;5%\=L+Fp#Gi[KδKʦO~9g0M[(8K>g }টe`c[A5(~Tr\&=-e#MDE[c10 OZ0H)ZMVC\G`OqڿZUMtavpFވ=6%%и2cR~l/ 9̾ EL*kz;s;ϳH qk}P>$o @\}DNHu–}2>JsjRl. 7vك2W%jz/˖5Oep 0"X!#g?SWPM~1w z83R_15-7}v uvX铺o(ZCiatJǻdܵgt8}}ӟ`Lϲ^kWr!-ڡBlI/c^l$Mn_WF" ~e%ƙq!/Ĵ)O/t!D)"m髅~`|w} !Pyړ z #3a9dnI)f>R{L,sI~q-G@Lks @Qeg;A^Տ+NxdI ={`%}J$ ='X1kb!<^"UZkZ٦lT9 ndz1BX5ѫz6o8xXqa)ޙ[ hI5mżosAEÀD-^_ԳUx@JCrEmA%3ǩxbj?V*L>׹eVb"h k)=dZ/bB}.4uEݶd $5J1nApYGnm+ɞpHh2܅JqFΈd[_B/{sQǍkQE [nm9 a5&1Xc?Ao1H!. W6]X^]XJ\}⒧ +v4%!`PH`d&|y @G\ٶ6.} FIF"`GA:;6v FBѴ/Љrrѝ0 xt"L?_- _!y&o^'A{FiG6"\T1sĭHUOAU@tsZ9(uFsw7r|q2:ыJ: ",EM}#;'x)YEmO |(珞K$}Xu!ꬋV !η&( 3j-Jm0U =Ho| f?U/?+:(Y<=Cʊbħ}j,f63G d)9֖P翢{tc_[ RpuExm8 %wXEꤣffq`/-#cD(3b`ftZwMpөJt~64v{>CS^y$Skw%7- ZU\3/>k NxH_Xd4'*Lx&D-pJYLp񅿕k4/3r7"AGў Q/2peM#;B+x9ֽͅfN0 :Cv'=VmXQM7uzd\ֹ&hH[E'9b%.Bz"TuڥOdd/)O1?nnΨ߀#