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  + +R#\d ]%]JNF-HOL-Lib:threads=2elapsed=1.748cpu=2.804gc=0.000factor=1.607zXZִF! ]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v >*Z g͉-8m$ 6VbVm<}]LT 9U~mqgYZ7zXZִF! e]ŗXiɟ1?ߟt;9HK?.>e7"8 ~&Ɇʹw%@.!z,H5CUsTMK(lrRCvY3щxugYZ7zXZִF! z]ŗXi%6Srj~3,;Ìld~,>pC ݇  ##,?E-DXHjYda`,K-Zm;[#Ҏˍ&; `!\ϝNfH LM`D;Zsݎe`.[>gNIxvNo[HMO4QyQ,Q3akTF)-ܩ}*Ƚe)F ^U-_3/- Щ[ޣ 1t]x[fD%汃Hr_^y. xMgwU60gpVO>ֲ&z hQuyaIiU1 ~$L 4'`<Y*$ӇnogYZ8f048fb9a671351eb2df24aaae56f4c4860b7b24e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de 20134841e543a7bacfe24bdc4f76acc2928d86ab0d482fea75712f747b73221c2647e7e8df67a1d3 # JNF-HOL-Lib