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  H H5|| ]% Lehmer:threads=2elapsed=1.241cpu=2.312gc=0.000factor=1.867zXZִF! u]ŗXf1-/6vRZ=\\ ańǜZL%$wIπ4sG'N'{X"/+[՚9{Dij=l_Ĺ8iI~x SQ wjϱgYZ7zXZִF! A;]ŗXiɟIPDOB`7"=PTW !a HکbaWB^M}YZ7zXZִF! ]ŗXi%ύw4᦯t78/p8$իyRwYg[T*5k9[}E,eЈp2ɀ<Ģ:^Suab&N"1<*Urc#9+ ֲl< :$4$oS"VD {q6s%'Ӓ4l?G~ (r aLD <&֫ËP#D򊣿WrHeoM IFW4R Pޮ+c-JS^uKm62z`0ƳF6БxGׄ 1c}̙f3Ј.yv'"!ݷtLhiVkD!$ ŗ(RUz;})'BfoZ*K]%JhH-ZE yg0CH#TxQ-Lj}i*Žk\I6eee1-WZgYZd6860b95849f69257db9fc9e0a660f394bf8d7f6d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e 9acdc8ae94f51e61fb886a7d4fa5f21c7bc97074 f1c89c9f109bb6f249a332581620055a229589bb   Lehmer