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 OO. ,Td ]% Fermat3_4:threads=2elapsed=16.468cpu=30.024gc=0.584factor=1.827zXZִF! ]ŗXf1-/6vRZ9Es˒<=JT!*pШ36GȋtMW%տ ZpA}0CFZ# WsQ;Yk2k9"I|զٓDl"Z2a'G*ELWlC4͌9nly)Q{=שv)3ۡ.=c-s985vkSK {X!$n}Hhȥ>"d%S'`J:.opY}HF;h/;y{# Qa}ĊG9D8O-70%N/'ZT?I?Jmzil*0 ;j\-;8 >(sNx\ZO\Bvb%+s݂Ql呸&SR Yor"$yr)]~\|*t4܂L☃|D%?gYZ7zXZִF! a]ŗXiɟL׎̈́>>^6:Q]a28p kj&> WP#Uuh؉M.}>t gYZ7zXZִF! `di]ŗXi%A~w/i{ Hj{+!>hfR?C2ٞUĺ0NA*5 xC8uφr e4>&^^] Ilw*cqIX=+l8m6`V E(_͔*ܭhI뉟w6$Iƒ}0VdP_w5.;$j">qG&'$Q?S3<-us &F aYLiz=" -bsJLkUoړ#b~Ħ6ɀ8˦M@DQK3 {9;DBa[!b)W'ѓ}=n,0I1`w`Gb. wÉɚVl&o0DF;pLD9)ӷR~tk*2j@mv^aČVaL`wxЭӭQX LN%0 BTǸυ-@KĚIBM],98r $A/;Y# #w_mGI|z&en=v4Rﶭ1R_kGk\]U+ن~*^`q+Fex98AS om^K$RdEarQ>vo|=Eq֞(EG1bI6B v퓱gYZ9c994f178c6925535314bc27274f30c434c7b8cf00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c d0f680a53915d416d3b26c69192daf67ea9ba224 f2e2ac97df655c17e81e1d39d11509ff51288266   Fermat3_4