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 e5 |\ ]%]DynamicArchitectures:threads=2elapsed=13.879cpu=26.036gc=0.740factor=1.887zXZִF! ]ŗXf1-/6vRZaKSt$uxem1o/pA"6΁oDPcvMԷȑv]PPVPwPqd}Jƚ1n9T9ZMltP\f{F/Mb`Jkj+x{6 kgDl%rO}[<TfHϲgcImn>iW;)U.ͧBvj(̳ '9wpChmUDA%?`u<<99tiK> r8!sϯtƀ.=74sE].7!P9HX5H.ydqP ՊBf~`+׽o_0<9~ 6o |3(F/'RDQWFZLUJL-KT1=lI.y5zҝ'=xgYZ7zXZִF! v]ŗXiɟ:340Ψ_իX+jެDu?.jT yF`C1߸u ~gYZ7zXZִF! YJ]ŗXi%;ŧܒvu۲`4BܻۣZB 6#m(eMʕ P-Ir1, _@ eQqNk,7h`8` (Ml.#7161{݆HʍE ƒ̍Ԗ{<t|h(Ĩ Ȇ$MEs{{"_ MCE+iNk_XQU&Sd.L/2?.zA¾RTJܭ ekM7xR6Bou`S04s%T?4 PYݽWP3cc/4BHL[l1::j`ѡcu~p" |]Xo>[zWbT$7XJH:9 xuc]uͼڈJ|Y Hf K +e@׈] D[r(*90?۷-kY5xv 򡤧 ;ok)PF/4T0 ״ƣsأ>w YvY)K8Cu/ D=5ư #>kmSpAi%]ӡp57|ɭ>n)ecsn%B27%!&s;,OdBu\>Mah1#Q,ɳ rsLH-xRX- gf.o}1\o(Vz23)1QQ:Kv  D*Gkfc_;@R WF8a :ZZGlz$ =x\v!CoΈDq[┼fם{ /^׫Izi)Ilf° "$B>Ύ3=9}*aConL*з>AY=NqKwڡ_}y?]tict1/$|iYFR"tT;1Nfˎޢ0,1jb|pzD''~ ĕu5vx i]޾/o7#mn* Rnj(fDEM Q]DR3I6>G! aJ5Sx.z!ƧDcz& ҠmѤ