SQLite format 3@ . BBh77otableisabelle_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 __% Ld ]/ FOL_Harrison:threads=2elapsed=11.351cpu=18.900gc=0.608factor=1.677zXZִF! ]]ŗXf1-/6vRZZj0Iq*~jzB{&;O|h/6+5["Ք/d3u$~k3T9X}j<ɸ_TŠ. G2]TJo,b.y̦bQgq;Xvwֆa -8&|aӨɒvD1xbf)$$XU-"i HgYZ7zXZִF! D,]ŗXi%;c\d Ș6!{_~QBU{:Cj5٧~8i,f<ܱ6v Dڄ;yM=h;[u](3LjR9L.*:=)iRJ%BʨTRpbu8cnj1rv{S.R%iMMUX!AN|B(=ڻEsC܀aDW;rR.vex^rD<07ZGFHﴞ=|>zX+| Mފ]A+ e~Dsg\+`OJ;^ǽ#kޠ]n.:6- mD*9nJIiQq8!G0F}2wٵIxsC 6 IC4ikhmnD)?ғ*GJ߱;;ѓ̈qS``ǽ\ pg Hf8[m^6 ԞlUe< yd* e{_78 {omJ4wV6UP*Rgf˰e(pnT8j ]F^*|&5-^C10&[n(P!Cy`5]_"FPeQFbXgw=1S'.RZ e`?]+k}R}И+ĈAqҟQQxfM0 E:J_?_{T1|"an4^&&b#%0RI)Jzj.J fw{q8q<c] (ʣd~47%Arlf>sHEOzR `Kfֺ kj:ÛzVh-nxnO^e%y?^++7f hgYZdb82240739ba6a29dff2aae4c0b5a9e0344d6ac479d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef % FOL_Harrison