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  4 4I# < $ ]]HOL-Nominal:threads=6elapsed=5.928cpu=12.492gc=0.548factor=2.117zXZִF! y]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ ?R~g ]ra ۦ!(~_84ɮSU;u6H 8a)5|WаCYH_DUl S6pI/! !@6QUyեP >dž>igYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Îpڤk~ ă3H0{R:Q*Ujǭ`I'{J}YZ7zXZִF! u]ŗXi%96rz`!E}ߞ;]u~ל;v_z!+"g=g =&nD %Gd(l7i\^zJ;C)p.κ(e96Wrn'\#?s %_l*)01'$`?TY~%3;ZbzNͱPJhAV~E2\&2BE n,ضᝌpAى]5yCZBO0lД- yޔ&>E[h-֝Nh*f3(=wJ p wԇYU>ǘ*S;N3*QKҳz&NLh)ohٶ#B%(ozRINI x Tf_̪\^}p'uw}\_|'EGo3d՝L*8gD?oS)=LQQ#%]/Dž.1 +rNc vcN2sMX2` 8(͜Ni{)^BH%kHeSÙ `v$s>N2eh.Fr})7JX-Jd#ɫH@a0QMFBX!a@ISwT,MJ cn : =E<%gYZc5cee73a6d38ccfc6911f614aa5dabc9e7d4dd35f4b2c6d5d738b06d204b6be11a7ab87828edefc9 e7adafd6063385647279f71f3a5428735a09a9dc 8026c178025208535b6c657df78d958706faa79cbde8bd401306abe0a595f4753c2f743b1b3792cb # HOL-Nominal