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 34, ]]Order_Lattice_Props:threads=4elapsed=34.352cpu=112.656gc=3.172factor=3.287zXZִF! X:]ŗXf[&n\K[wLX4' :u/ U^rPͶL~x)FmBV|{#pD[M,Rowj0mMVX6*4Y@bgy}슧G#ү*V"+?-b=ExVj#g2ri LxNGe=' SlTԞqAJQP3PN@F̛56Gs0r^nR,,+h  t6(\zπr[J]]!J-i 7%#u9A% &W>*1i2?1.+3.?a{Yb$sw`w4=ZK`r:"єoIooZPjP{Ms ^׀Gq-d\cf;FS RIWytu.;EqSۥA ,0s15" =uѬi2f\5eTóxMI?<$K-}7AhZÍ Rf1dp61E:C 6(Q?J8X|]=HՅ1cT?MVznF#}aZNwkmVXF!Fkc Uw 쭬` oF-^\_ڿV I h#`(Ncabu*lw%D4='HOnAaǼdC-Kzaz,^u52'WkT/3aʼXcuΙ۳ k4Zܲ?jOtXdIywH/-- *]U>,'"n年;uнKyW5|U+}Gk23~P{_0]d Edѕco@gNP)h0WTcμ(iS4ŒeMlNCT)ޑYзܪr24iy,9rX$ ;T*\KȌInD.ZXx$fk mGw譣]-8O eɲݝ膠 (0OW.zY/E:=CY'^4⨹2g6[6K]gYZ7zXZִF! ׸ ]ŗXi%B 1DqFe"YL=j؀#{+2l\d5T'l||qQh ?ia9-4;Kac0!,U86 G5 g;̤%q4fYXeTG>myV'ԵFN'4lc3ad >/ s:~6 ðݍk'C5Ys@4cSl\u>{~Ŝٷk6ȍ4be%|ևkfG)fU-%\'fm"w>N7oN!g?N`XDz|ېnۇiDwZCqq+>z.DRrsj-8QvbGPkV˅ :yvnI*974,*n[@O7y7eI9:4#! w:h8.[~=y!qPLZ{YW) U8$͇ycΌHIm2$,Π J[YieHHPDNOļ:zKޑ 뜲HAr^uKȧGXsT# :ָ~ ]83;UVfֻޗF褩%f|!rQ?^XhY%w֩}H8rb7b(q:X}c/rȬc3||ved0bFPΣ{Ij̥ZZi!ho76?pr4!s^=QDD}$qQ>+2{ aQt<愄 $+9-WIgzn%ѝv q_h_&/',G#-N)Z9@PUC+B/ɥAu.5,oIRB/o36Lv"tf;#7HgE"qo_XWEƙCfF gE4CWɰBƇ-$]Wt}bxD.=|$84wծԠJ{|}pŒP6'u?,UTTK.t!!m5 fb@f!MT07`Ue`Rݹz_v[VX7D!&}"ُ;E>VZޞCUWs4U?F9fQ%z]VyJZ5fRބN3WO(iQ@'. POT\~}ӯgenN0E@P9Xy]@uX_[4 ݼ(OeG+4oE\"KZW ^k 4Hc32p蝇CM](K]bq~M"_J0u`*7M WGxs%iHN;_b5sc>n`Ѷu1.3,rQ.x<^peeh|%߹}Q5yA R5j<Ƀe*)Uk!ݺ_F|UWևn8b |Km =E ѳa5^@`F,3E}fZ?"w%7T:$Y-.k$ML9xU[&T2% غY/Bbe4̳wmeb2RN#4VDEԨdn5"C:Ƅ P$=-)n2crue/s}h #v5i Ib6anc1' )jb9J(eߤ޽,=٫̄*:3qax$MKH*ZJ2Mb.[KIޘ`Ib2Xn/16uTtv)\*nڍWc'ÖkR2lj?<;,$,<(y*.~7Ot:_O07zmozdH`;$2eYpH\S9n O@_? پ[.vӖw•zr3=,j!-_X+i 8+p&~q[H6󏼤1^:2q@sR/Eݱj*\hl;/I- # P