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  b lT ]/ FOL-ex:threads=2elapsed=5.495cpu=7.836gc=0.188factor=1.437zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,)_qͿpyu#E7f:KqZIDtS_%~v,Ҡ!HA@e[`;IN*Gi> kb}&]1Ox.~[@R'XU_L4(&ߏgYZ7zXZִF! .]ŗXiɟ1 UtjL+S ^,%^zl ObS 2Ĥ1?Hw1 Yɪbrin!K cjў(}y}ۄ [lT3EM)-e~jVb awm-/>+͔Z곝^ՙ7eq[|MP-}d,>%2}uCg $*jC{D1Ost(l@ #= hyQO4jm?SoO4^"}d&"U5_WVhu  YgYZ7zXZִF! *+]ŗXi%;ź9@cjFG3M3UoY1t?È4J-0uXlf:O9][-BZyTHgN8v#9T,ȿ$OE2 qxI3G=\Or9*N˒߃Y9䧚[GNE~ [j#pH6+G1TUc8[P R7 Tt>gYZd6a028b61fa46ad86bc4d3b8a55a4013fd668101047361513188e7c72a6ffd9fc0d5d82009c64e0e 6f7e54f8155e1ee9f69f0daa4a8682e8a2179a33   FOL-ex