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  td\ ]/ Category:threads=2elapsed=4.700cpu=8.676gc=0.232factor=1.857zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃc|LL N\TM8^?+?H쌥L{Fb¹X][ A k]W?&. 8JY/ 3ְ i{APG¬ j*!I5]mK"Д3c5NYB?F퍌݂VΜb<R|gYZ7zXZִF! ]ŗXiɟ1˦r!st#?9Ob%Ԋުl:7a"OxèCG=2p+I<1Y$;4V jGr5{vE8| iל Ƃ5Qwgko BS1Sr9 gYZ7zXZִF! ']ŗXi%92m/S0]Hh>!֗ˊ$_gP?((+Sǻ4x}[e8$LBOc +#Lź 76@)J6UfD9eFlߝT70e "/ew2^*a_:ո72SRƈރ_V;ͦBBQC "wR*Al~6^Z5-@8vf)n0/W gB͕+"$ߴn*ײ_El-ئB=_r܊]%F+*p!Rb1/fD-mZ%҅/C[jB ÊHi.'2  C+Jhk6O"|}괥( "U͗Dîf ս01V*!O2MbnOxZyEn#}_y7A«I_&X>v-CT%-9ƍ/`_<