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  v $dD ]S IOA-ABP:threads=2elapsed=5.675cpu=10.568gc=0.244factor=1.867zXZִF! , ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09AnUX-A s 7_TǰH,'#Ye.oҲR= BO4cP$>lyz;/,9!S;-3`Np6J6xB2/60/.Õ9mK$> &PX$ gr4Y`k#a2G_d UWC CBgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg&yw;D:Z;5GMHefxE$FyMCi3b^0ӧƹ{zh;RTl  P ¯HGD?yoY<_+%VcccLnA>#[:aʅ <\f#IZ Z,f4 h =edj7gYZ7zXZִF! ]ŗXi%9(PKYV'p Ӄt۶tx/#&;?K^n ^^.Վ@b2 B(AVe_ti_NL1́O;`@>jcƟ7(Vv/l t ]|#=G:$X`+&!- ՟ydd5[JqxOR-A}WĞHS֎tN$xV7p.K.FNrY#hJ0:w*?MSΤ_sD#PV YK)]2}ux YW*5s`BQ{%j z=GÄM1[B8H.D>v/EFVO)U{l*M(yp $OB26nvѳ&2CF]dFҤS='o 3 *+UO9*rͮȋ03j0m̓FI73 X4 ;vny%2g黣6>4y$7n9᝹?9 QF^g61Rk2 ^"ި',L'WPs3𳓆Æ