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  e,< ] SuperCalc:threads=4elapsed=32.906cpu=101.308gc=4.100factor=3.087zXZִF! 2]ŗXf[&S ӟOx'Љ/~xS}%v3jn--oQyC€4jUH_%6WMePk W+Q2Jx)}&jI$;Ԟ*mcq`6L[g fC!NnAXb/@ \d%DgҴ8<7}~}]f a7ٓiT񅬆#4IobWI,nlnV L٠|)8G9/b]^< Mqn;R* fF/ʒp9CP$vݻoJնđ Xo!EHXGnY+$\z- e5ygYZ7zXZִF! ]ŗXiɟ}Ɓe6nB4Đll2@ l:7wOL^npE` -Rr klJ6RBϾ|-fPΡ9 HazgYZ7zXZִF! ]ŗXi%GgR$=2 ;\}rӞ~Ch+`}zxKJMJbZ@YTaɂ_{+INQ=7iS\^ 񐱱[zM+I+8;N|8s;a[zP_`>_i+̘>e.p×5莿 +`s<m/G4'.N -4{kar>=&.>74\Wao;wXk0>؅@7%O͵a  *Ta)|L264a˜.E{kkZc[-;lKAgpEuX;>,#Wj!ڳ(< wPںTr]~ 41wQiW-8aR7پ$A`ƙr] I"HrGze o/ p2SkyjmIKܓv%Kd0tP}1iT 41G4Fe*1&7 Z5,Tz+JءGKxu<9yi$ XR3/.a7k7m:gf8w:`ʼn7CRb5 ȝzoYv4XsiE*5mCQVHME_qGecJ6qoO٨2J=XM^!NC`4X Y!1xwcyҥ,jޫ)]O\_ĿҶkԙ ֩`I6- j{;9_M ;%{֪+,{!(/X )cPz͚Lkz@ Gm}zx R.1BHjk@u-xS@<6ὴh~]yg!8`Nx~ޡV>⃄8؍h%#|N!u W3[2Θ9ga׷&GyҿuE5hJAP]7s|P&7%[Ζߤm5y<[sE ŏlv>s`֤}SݸzEvӚL5ҢQ`C?Wb:.Lw (~h.q%OՈ}T&ġ41%ޕ?I%ngFapU\>Rʝ~g;qy8(N9&=I./S(_44bFC=/#~ ?o `{ႸM6!GګQ ;|2fWk`ǶYnƂt]NiQ H,q"9k7lЭ&Q AX]S&rY@ɲFYSÚK#Boi}e+WOhLʳlCRC7 t?  ~+.ƌD8k-rZscGeM-.D ɡ |"MLyٸ?..ㅨu;n8m88RE{ D}PBLIc bT;C"5HQjL}U' =iX@m}L$ZYAA=mʑ:+ ЊEthUbfH#7g1eeCXw'9ɭx]Ѣt6>Hg*Eָ Z$)GuxH|)04m-da_S>ފ(Gp֝';M'8Vr86'ioW,΄٠lt MC=3iD$#g dV]a&ub*W8LfQ B.Ћ%}FޠT兒i|BgS҅Aj 6~P(Tӭ[@R% Ry̷Gk H3e#z6e}p _6O/};v i{ 3J͟,> AL l=n "0jyU%LnUh*S"Ҝ1f'Zw P׽?)" !Acٓ<& oskP> zU=#**.0r($A+4Q! 'C"`$ûFkWK?R>>GK +r(lck;t?봒j|_8$i?<֣ko)A==WqϚծĻsPi h$1+lX=cOHHX87I:뛥 8F GHc{n3pV6l;wOpi%)^E}~$ҚR΍HU`\Ua.uĦݛfGy\9D-";iɱu%~䮰Fىfn)'UENmm;NA{3m%yu^RYq4/<}v2Zu@QmM]%X5WLɷuR*CZgxr*!T BP3jKR qOHzUÀ7ٷB1%оqpdy0?6]eOl0taUamɰ6UKu!5Yk.\U肑3,CؗɨLVk !2摀K}ھVrM(p2gYZ06b1a841d6489bfb0a4b961f97ba28dc18f2d4451795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be