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 -,T| ]S HOL-SPARK-Manual:threads=2elapsed=4.909cpu=7.816gc=0.184factor=1.597zXZִF! O]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV){'1斜䵒Ǐxj\ 9 &,J=\g/vg\ Sb1r)ؠ #D6wD^/croG Ri 6 <.@lnWc=q>oq˟G՞AWZ9~:c&I-^_Q|rĵ l $gYZ7zXZִF! ]ŗXiɟ1'HGu C),_Daq'XGvz`V^ HO' #v@s20JXxPPAS( b.Ll@] 1#Y"ɵzTox^<</kZ{i唱gYZ7zXZִF! %K]ŗXi%9*WθA6XP hwL" a)s L֍*!UgU8ixs=cu#&wnT!r5< %ƙ#X*P;kZDG}Ѓ9j("<\fW#8^ )fc3\U'ώ ̯挏/IhޅqV; ` R>Nm&w5T9pdY-QȢi?HW㞥ce_Tc59vW=d # mh]X}bE1~ڎ~@߳~RfŢTv?&5_H~ iǾ!fw4'Us VtS7t$?;Ŋ]g ǀq v͏({ײbWza`P&y au ->2) _ =+s}#%'hֆjS Wq0yWxN>S|?r{2eb/(#I~i=4cʕ8)tRQ.UV_yhS"6TCHi p}9G\u:<'Lnn)BMS$$goUA&6M/]>YኙJ3۱gYZ9891e36171f2a79de7c22d746927fb14eefad7aa1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a ae423d94d5ef8267aa727af30c4429c63a664cac 5f4edcf8e77a6659dfd2bc24034021eae1a7a55d - HOL-SPARK-Manual