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 O.#\Td ]%]JNF-HOL-Lib:threads=2elapsed=1.604cpu=2.636gc=0.000factor=1.647zXZִF! f]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)spLTBYrU wV~D>gYZ7zXZִF! b]ŗXiɟ1?ߟt;9HK?.>e7"1r)<Hxs⏡vrю'h"f/[9ݻ(Gf<OA~_fϱgYZ7zXZִF! o]ŗXi%92.7ٜZ_2v103{mz=voVTŵ?UUtuSԯcx Z+Z-W]Zkbzc( {.ԦZoOP5rO1D1cF6>h 9%uBU~q ַ3tI`*¡_r +~t=#3ƉHd,`Y_7x #;δk,L7R: '# ~,w>'?V\q'8XfLpOHc}0{VsQg,_,I?R 1]\NMzI ߅罚! dC8.,3Ve<]|#fyVf0?;oZvo,ޯ_ Y#&:Kn$ݱgYZ9a52de7574ff712c61ffefcc0a6651922657b4bdfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 70f4b946e63625a4e15d03cb5d11a4e6c8108b42 44b0cfc5db7f19bdb69739da20a64401a5e770148491750690a8d11e9e3b02951edf53ea46b1b345 # JNF-HOL-Lib