SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ;;6 $l S IOA-NTP:threads=2elapsed=8.738cpu=15.356gc=0.608factor=1.767zXZִF! 5$I]ŗXf1-qN50^ Wy>j@(v܆eػJFk(F1>S"/wkKҀ)WyQq}BsNxԆSL1}/A.XfYk7-Һ:P pPq;v]=)Őg.,؋۹kR~b 4Wxq͘g|UG,+4sq+Nh6HQB1ᰡY%joOCu,SH 8Npo VL=eaAoU2ݙ#*e6RBrw+^A=@!3ǫP<6x}էS V.Gl`_$ Y՗!)39_p5GUd+ 6e{o&ʽc ?Ncf~$Na) V!}|tan6TW=`T2Fj30L'&s_ԩf12Zywc/kQfqDX o4裃$ oMy$W_o   IOA-NTP ?&N6dqcһ R#sx ]n f,,W:_Y haDs9j!oۭ{{!R,Mbs-Xh|kALm(64]Y~*OfA,ҮsnDPM4V[" s)pDw"GI(E͟C$M2a)TCB8^!5`1٣2F̭7 -YiE neUL$:W-7ՠٶ"@j@x:Q)NW:O9& qV Cȧ$nKw,|RX<G|/R؆. +; c[mhK^@ģr$/.yWR)UZ1woIϵr5@ePaR_lk*Zp1xR,:/7= mŁV2̀zOђPjjYgYZ7zXZִF! *(.]ŗXi%HﱛX,j`Us!V˓6",m$)w٭++^ĺȲ v[Bk5+x^[1?ZZ<~ *n$!Ql'tk *C>nT"68lNPa ⿧3`(|t!L˵xNn;'Kc]1vo-,8Af0`g<A6qUG'śT\Trޟ~?B5b(sLWcrT)7'‰0قinQD@ɯxh3yÛIO0 M$: S:Riy wK<Z,\Cϼ>OH|wâg*Gy 0@v8*%z[5p')nD@ǟ-ckv\פ,+W滎g aCPJgrv Wuw|hT!N%uŒ½tNR1Ajs_BwE#MT&Rh&C+(! =mWNYN (iU>}ēcu~CZ9&\˴j@Z-k'%36K;dj nwe$Nȴ]Nz/J.|*15':3KP|AP{;Eru1n*ɵ y Gc]#U*4n@<69s2zSTL̰gYZ225822c1e6df185b3a39fb512d7693083c034b27 31aa2314c60bf1df8a389d106629135074489fbc 34eb43422c09b403e5d5bb215a18af873d1882c3 4cd2445493953f5e1f43fb04190777558f683d60 6e0981caccf92a743bb9e20c77973ccc858a4b05 8c9e106d9465bbcb1f87caaa742c132dc403de58 9d986d6e1195b470db7007792eef960414eb2d33 c68deed042bde63e5190737f685c33ed8c0450fc de04442d9a89a18b013fb327c8df684f4bf4358f ed1ea0caea47d5f1ac2cd6d02c7c6eab9dbaa0d0 f3e5480bef8e7e52fcca915fef651be33104b5e67f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 938d638758d7574cadc87f2c58296f82c16554f9 a84a3992ac6607bc1a299e575d43532da61697e9