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 c# D s Rewriting_Z:threads=2elapsed=26.501cpu=48.212gc=1.888factor=1.827zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+ï߈T 4+te jzJlpopnBRfK<0;! XA7@08ShYxzyukOY{oC\l6Rhj$iѵC {֌:!4S4 $i|Dj mFl"g8՝qZ{vEfS#z)oiBގ̧~C#wĖ]U(`ntޔ\QYu h$%^/\5[cqH ٲVZ$#ua` RFjZZTS:9SA # Rewriting_ZHٛU'7fP8n(kwFY2C 6`$"wW %}7£*/+c7+V?xZ~Vm{CYvU{' \Dg+Cl],}:Q¾ agW{rc (P wھ~WAgR23::qoOGR8&LZCX6FLXZҲ^(:MJmVRSSz'tc`N*6nEkԤ7\kȡ?z5A4 IJpqZ!u2NHlrJ㚍-p0Ft@~qz}h3(B,Gf{2lE[6:n;ӧDqcK, ꞽRk1\<w v HU~il7+>Ug )ICC!z'Gdʎ@X[Ske=Qc[DiJU4;r|/8Xy`콢,jl%0*MbG _Cma.ͥ)n%5]f*kCڀ`zwQX8}_E>.+uOS`Ql]/9PdL3e n?}]&zDWof|b#:PQ,:rlM!z~JDg*(\L~[/)}{}-M:gZ,N IHg7s5,2&HP443͐Z1+5'~|@(NҞ@+jj.OL-/ֿpx `l 4yT95?<ïp;46VY^;)tȺ C+}"7 x7eg˵ VBQw1r m>V ୳^2"6>Ɏ~L`)#=n7t>REKL }IGaԎtC*ODE&N '<MC(?>lmׇXL!~^('vqF+ÜID]#U2cO{- qTy4S2,^t̶ċǰnej'+H ~7x}jkXm71vqa*.ҭj2H6 o16 `#3Wx"N@zigFg6l7t`&E;&EiN\Y>V!4Zrr.g8BC]eҮ[1q[CnI J̥r5&_uӖ͏2z%f,@|!fPqTs FP=57MIuP"Ņz]$b8 Ͳa'9 /KkNWF~vmE'jW&DQv<5X`5R̀ U(&LX_,$Xў1GD?0'2"@" QtZt* 9 h}f[eq;dDFC{c">׎.&_+=N0Doc:G|ȏی]LTWEqP؇,C+;pc9Aj l2Sɓ »ǜG˘ϒH,o˶j<lQtฟۂ؋< ߣ,Mt0R8X~*xĵچ  Q"\,%Bg'kDaY4hyx!@"Ҝx g()94J4CDp{u@{YPl6Jx$78w>F:3oU5W'8Z (:˭v0lf]mXŗ+Xh| w񹼬Cu.g߆%gYZ7zXZִF! Z\]ŗXi% -ڒKEsm0\ӡ96&C/;E#9LXSdt1sEbr2"@T_}UH5rH#Sz@[E  P/r{p# 0l|ǣ7 YWP$I8†R#"_f?Nwԇ7?+vM(ܝhG}$a؏"[x7 L|cb8u;ݤ۩dZ~ܹs; NmPieiGm;HADu L0㘘৤W~z qV3`NV%,#Q*Ts8ړײ#,' BnNc95`aoI*Jx1e>ņ4Qد*RG3⦻ b d)*1.ϴdJWOpr6eg}. D,h$L9U  tYlv&/ؓowepD+nL{D $'qK{ksš ~A$B*sȨȒjX+Sy 2ÄpCAVDtxt3sG\@AЏW7eF}X5gcA"!е:H<{1[׸,%ބ~;5oM x Z\amo4XP/wlm`0pOxuJ/BuG=cY[|fH#aFqVDS?U}FJ=S3 ߷'sC Fz&~8eR m1}.%`vj,&+ Iiݰl!MsS`,)prOAwDQH"Wn4-x6Iz)QF3d@đ9Y%ΣYN@ {h*+g/maz "B"q+[w-(,Hi.W o 6.gϯ@xY$"F"Y*ra^>9ݙ_E?LLZ jYY8yZ> {(IlqKvjlO^T::._@)? 즂p1ޤpDc|:?Cd}/sonR[+ܧ"$(5F̴Tk! P<ہ~m_K(8BHGsR4 ~}CYm{+ 䃔㩉L 7g{? L?hvOQMJ ',INIH,Cʤhi$38bG _UG2€ܬfŃwb*5׬"$gμ9i9,3Ъt!/s8ţxwp'HͷN4]5MxU"O1Ͷ ?6%ؘj hwM/#GΎ{nHԑGgcP-Nc!ķ L5=g$z]&*!EG>w &z|ҷU[*/x(i]Š,u&>[}݇)OD+* Q!<ɶ&.Ikc 7qVj/?wĴF#d 7ۂ