SQLite format 3@ .  YYQ77Atableisabelle_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, "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 o'td ]Subresultants:threads=2elapsed=82.103cpu=120.324gc=2.444factor=1.477zXZִF! =t]ŗXf1-/6vR[]ߘ%Aj.v=/dM3Y 5_QM|M(kg78/[Ki ݮ5 \TQt,ψn]kU!5 :,S!WNv:߱cqaTWg)Z#{Ut"  4g?gy +8A6aCLbF;?p9RvPEd$1C×*u#f8U@FOB}cZf\:yo~$^8KVqo.b'}G8Kަw>mBXQmi`hxT94D W WV&:ȻXicV_B7WqOQ|aI.O{k%;;k$h;yb;.oIomp-_ ̐S2ʉ% oW+k|& 6ܬ?UdYY2Fp/goQޖ"h' =P"3Qe!LaimcVDDz]ÇOPph䙰 ?^^/yX=lҷ%U;h-%%?ȷ sLhG{ z+EA^9ML0.s‡V7_~8*=o;^> ٧!֨J֮˿XNr1FdĦ&^vK"%.I dFmr^!w! ~!Q4(K̓շv$>a,$!T5X㯌+;m)sJfG*Ɩ9T6ֶzܭ`}ţ%\4ں.a"R+m\ COFE.!T!AZw!k%2ޖ5zXN}l*93_ r ,Cd—+K,d zkTc]"=R4k8b* &B)DѶ(WJϖNJ33*`3˶ t5na.՗M$3c]4dU* 1v)ÌL0[ʚW!mC !^3'gDH~ŀ5/`׶/ zigYZ7zXZִF! ?j]ŗXi%kF|h&B PإwwG=.Tm VuM2e%NF[y0FIME٧22RXf$*5@+Ko)P b,Cվ78֦0@gc/Fd-0E`=~ͫ`3J׷duuV)E #FHH[(@~(GS5v\yjVfij_mZ8pOa̵WF.8zPh]U|ㄝύ^ >mgvmrH Qq2Ǭq\r7WM%SzX;z_ڹ*̒ Ji=:%BM wR=mRn35 EӬ %$ZAGS>C$:\d-tQKkѯ=}DĶkpT>2;f i7iYe M[g35K ] 'B S[_[Ң5 0 !a5Cn[vz.6G!ěHIRWk;ˠFIR5Md.jU@ԪY2Y|p4O+AqL(ā2X6d˯"vp${.BԷqA:*:ZD pTu$3.+ fOߖ:/v7pnJu%P)1PàI@-! ZfL|Ѓ|k`Vc0[%1rkZPq+HhS V*X%k`Rç ,g Ӌ~ly:@t8&OޞeЍe?^8tJh}mLYH OQP#o6$ݍT鈦ׄy5mjǼ xZB28~Dz|)'Dw%b#N3A,gϡMӕ5@?ⷢ"Hd{T0  qG1*S8KDU <]C-¤^,v9JI}QNQ :t c v2.|5덓#p@-?Ug6vOUmBĺi[2ڦZQM'|bl4hCTp7QK?Dȹ_Z:#`]ΝIImCj\?XżVWR#)J$SO~-$@pxglT 98 Ժ{z6 ${wd;ʈK緃z:$l5fg%nSC%lm^p-CP clYrX9oqY{z\פ#ڢ{nZuEfFt8UWf g)m33ԴIjI`+R)iBQf\Om&ꓮ [槸/@(и*LUcS`=t3tLV'eS*9  %@6(A{y@03F45${õR:T%M k?yQi!1!db7]YQ؀}?0iQ`q*1OU}(퉰W