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   m< ]]]FOL:threads=2elapsed=3.726cpu=4.096gc=0.188factor=1.107zXZִF! ]ŗXf1-) enȈA"XxBT/'`a_=aZg'pmC=wRG@o;[:Ϋ p&x`)LEthq.}YZ7zXZִF! %C]ŗXi%96BT_bhO r0M-+G1YGCѫx.U*5ڿQ<Nȣ0Fڬ:m.@z :#t"[ Pj/v"7T h?o A) f>hJ#жT$v\XEFyWMɦƫ /Ip,&I:~=tS^F,QY;K<(C6-9t_>ƍ+?{ FelS!nt~fbmwBһ ħ|SHMtjGt8Pc9·IYJxmj5HrcitUʨ &AHBP/le/Tl9 <Ģ{ ) nR"8?r 'p:mF#mT: !'6:[xіY)0'gRcoj+lrPc(HsɢNNrSΩ,ݝǎ*&C`4f`Xbv3iJ&aߐGgeݹOdd<.>^Ds T;CLIJJw/o.gYZ10fbe905396f42530670026d9f7ea06f0d771f3e31bf4bac648c51f49408130bf9489829be3fa9930b81f3760221cc8c7d9efc1f41dcab3548de7012  FOL