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 {{ , ]/]HOL-Word:threads=6elapsed=10.479cpu=46.576gc=1.880factor=4.447zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z?DKK~=4t`Ia NΕl#p8 9qFɢ M6pC#M<*rce+׀4*)y\# H-b=ɕd ÙAG6r14P ǖK1M 4h.Geteޕ-n>>PS$}bwtjflYs;J&!6i/xL護y 0vi[POt<1#d8g& IwSgTd9>80C׆G'VM ϐ4~T.JPr6ʳ vc`q#C^=lǔԵGGg\%5,0h%QF*jZPh?6Ҏ6ږ-r 0yԙȾDp͚w-9/k9LH/34hP Zu:DVm<>v4 o8Ec&VnTnG@瓧&cڌ49#ScO9NWg *'?bsDa }R FUniP$4q*jal._^ L׸9AZ$[s1{=*Bd.rc1IIL|ЁLJmۜ@2̾&w.9a-WiBoxJ$< d`ƔMF+yZvCAJ)#u"ua'bXl%(r"Yc?0jKLm=ʚE_4h{Q,Jd;(ʥ ^W;}+0+gv`])U {`(K^iKMr*{5}YDAV@!5_нs'c^lՔ pyѬb_;!ge_@8s\h^̴!"f։LEzpoB7^1d"3ROUsʡw&pgƧm3B m_vK\LRJְ-y(c$H6bL2͍_ (ypX.̯%Qs H.oo'U.|?}X:3?o$rG i[.08[w䊰SUaܲsOԀ?.=`3wUzEn'~tk 5.j|<