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   o#DD ]/]HOL-Eisbach:threads=2elapsed=4.033cpu=8.076gc=0.236factor=2.007zXZִF! Z]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I_8Z([ [9]Ы\xå7) 3r.7 !%Z pmx w#wA) 9F FiOCV8S#dq3[+AS˽MMԔnJ!s$܋EyPmڃD8L@%eJlVt#C0fh9 }+̭(mm%d7lc7`([8 ,=2n+7)+xSUN$>ȩ&'@i˘zhV]F_5=&/q?T4`AN\!^mtv?W+bPӤHZc(gYZ7zXZִF! ]ŗXi%96@Y`CU&RFj";ߠC"d].Y'.NNXA#Ъn33bN뉀:Ai*>|4 depo4Ͼg@2m%KB{|&A@DҰ)mfB9KrhӊO~ 4Vɚ~QaFƹTCzN?΂ő!D77,=n&_6@VaӅT,6\Hkd lLZb5;muv.5OA_\@nxbB%Dw@[,m3.ߴf>~ 5IeOY7i~[Zfgnhyjb|5 9h#v:<ʣbӌV=˗Z!0y>bDr+`<&…AKnD<³0R!l7pw/2*ŽH1q$vBF)/rXkͺȔl,JT%)CB?gYZfdb160b1d291ab432fcc1afe60c000ace548d96a3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804def881c17fb072fb31b9eec73706e58e654b9fbb3b # HOL-Eisbach