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 L<< ] SuperCalc:threads=4elapsed=29.825cpu=92.560gc=2.612factor=3.107zXZִF! +^]ŗXf[&S ӟOx'Љ/~xS}%v3jnMZwι ?^4oRh96-HQ[0e9XF =XF{mEB3k!j N=p|qF(4ԡY"=jǨ~hhD R ~LJ.2%a=~U0?|'gA'|Qۏ\}]FUWenix"fK(mw("L~|B(\}p*}9Xe/v(7nj'ݗpv[?[Z1hZs 椊o~6@k.k#v s {7v0H*=ˁep2ØBOP&0o!Kٷh yAnJ_"'&7f8 t2 NI})98]IAf)gcMO-~j!X;kXѭ   SuperCalc  ?RhDc^6'y$ؼL$;&+vg^} EӼfoD\$9.j_' 4&6BqCt(M;5/#e_"6};f*:r V@52!gPJ,6&MUl80Ga5FQ;i DrI.3Çs0ʦS1'Aӱ7Frھfxyb""#;ѵI "yKnP4~wX$+w=qaF,^)S.Vt1b9zP Ưg+$-ᖺ=V}رgYZ7zXZִF! ]ŗXiɟ}Ɓe6n0VI HQq\D18riTh`=j,*4훹O%lvh)蕲ԱgYZ7zXZִF! ]ŗXi%B)H29D^#Y ћ(k# ݔWfvBZϦJ^V f@_#^>3j6e!+ Y͂9ea,ҹ-1]tŲL8&/WNc|UtK4oR%jR!ˁt7#fܩ p#8.kyrt*f*kV΃WcĽB?J+'YZVۿLYEEWD\L3\%:4PwN`g1 1NYT*4K,@~M9I'dXpq){At% ސ)ԿY.SZвڂVƻ.7oTbrkɔfԾtu?3ScF:/14.E鶑LÇNuت:e(=l Y?tĒ”ۑ{  4Y|TOyLvj&RFMMxz9#ǷoJK' ݾօ,Q)uSYuE,ڡ't=9*- ܒӿ@݆|9][J0.Pj޲J(Ǣ%=VxʮUT?'-Jxq} X6D\szokyHlYe#ehn}.Ž~mƽ"7H9m3T `|F y= @d̅KmY+zF֙#Y9χ}Ɇ8u =aN= QS%g"|3c;%4&d쿪kg/ŖKZ|ӨO3^aRAsݨABjx *^vv f^Ӯd}Aל9#˪!s ]!njv+C_;W)a~ ioH#H09جa]=]a{axfW[㞼-(Ĭt'͸$<~,Crc~~N^_{s ]ۼGUt/H\IlֻXݛZ!"쵕D6G1 BŒ1PPFbB_9 $6H Bh'MPdߘԇݾR+IcÍ97+MٌRxHi&Q7Lms}K ogQKSeVw:'[տ`{OS*~j~]hM}&CſUaW8PZt~0dv|f0!ݯr k9+Z2oi~ȔǒgtEI Y55}F(}Q^t _Y#,ØaQ$g&g5Q*4t ؉ oJA% keξp8SJ\hzlp 6sL!\V O_By9y|zRZĤN=&$܊89>1y漐)cQζ"6nƟ@hP4`SN5]|[(*cu=U$$#埂e&*,Ko@.7̝n{0[֍q2zS\"k}瞑2F'A^rM`SIiq M"=a$L7`sXXOnne^k 'k݉{Pf-grXPIzR}YŶZQ (:ڥ6s/9,68򳆳jH)$oP }068[۲gžHHʐ,tYGZ_UQ8 yJ0NrY@ Pͷ}Ԡ(xW@"\C3IZDޤEUaϸ'S=yRJo e!{gYZ03d08608b9daeb56484999e8a831bd364196697676b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3