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  TL ] Corec:threads=2elapsed=59.102cpu=85.984gc=5.640factor=1.457zXZִF! `]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$mL.v@ tnNRXa (*1JPQܺPQR&'eId!yy)W?pwFFR4u FCcGnZ͒^Zkjy2ܓ}䞌 r[nǵߍH1(,^mL205cD\v_wrW__zf%l>?n123*jҌQLneyB`tdcܜPZJ#p? Na" !*:_hSnU"H8$Qv I dyp.lTgYZ7zXZִF! a]ŗXiɟ&zLoTIf*IP|;`ƈ迢*YH$`;uE2эy}5#MWd5xü#pg }`Oy9 3](WKX|)ief3D[7EF@iLMk08m3pOa:NLiYLb['lg|i!!˱s˔w b^kZL1[`qm<|DZQ> -z:':W+^(v}-B_0أֱI̤qAF& )B2:'Q?aogA*B9i36$D ~N e׌Rsn`Ŵğgu|.B(n" "?!5SB>r ImugPQ*ʋ #ek[vUzX@IG*Ďo,pvtf- jPٔgf`_!Wʨ^gU꯯n ޵?=9S~OEYCAZp Ov6 o+A!## 3 x)^mڌ-eW[?9T߂hf+Ko 1XH*Nĥhf }HSlb ;!}VEnc#{Qf5mSkQ+_'3Wf>]7ѺeP'0-y- F RRIJH(R /| K2KPpg-8=tIW2dGҙ!^γKUd'2ri%MON-OK\pRb 1/9Ѻmm+ 3m* -Fٛ.Mo:zp&yӂRb_ցIzc.:X=湋i=q% Nt0 @Os$)7{Wqg}䰋lhS?LMMedM?3ve2QU>pꢭMУUk; @j^PW1| HHΉ"o=%Om د ksq>zgPANp3P9 }n6%_v@"KaN4gL_:X/e/nqh(Eͣd00QX-}CzTrJf ;W;MQtP8A|ݛ5{`%)8v" nP(B*:HMȯLXCCB0UfO%.p8jkb5nB@lyEOP;w\;K%iGV]uu6ԃ%O^,^_RZXmH0Ϊ. OLOđ/0$tq~(bhޑQv3CF}KZa & }8+zM<<{wǼ2a[\.d S[dž!4E1&XuT-lI9Πϕ @%&_c.V [Δ Ճ^U9t;I"nRBMNGyu(@HE,jio v^>B`F5x'XTNcв z&ߏ]_{U,w{jubz>XXZvSX3b<kV{<\؞F x.B2ãpͰ0y.6jぃ^/.֎]nz?K@Q?fShG%/-{l iZ厞^;|x[z$Eb$a4wW8 lfK{IfW@!A ]i x&cA:9#uVl'YD/HYےgEnaJ"qo'G17Ѝ}vETԑ^aeGuՇm k|*7s.z$sM/ /γYojXj#rpZY3$+ oy~N-0^e؋*F.g/8Lezc~Ɉ k.cLqѧpR^Cز}¨A"Ef:i/f _^\7<jvF >RXmy$M<ɅUj3Jq)@긷SF3pJ$kڡI -1<1iPgJ;Ux 8!?F[3#\QWaJ#Fu>GϤGDz{PنHe@K2}Qur0AL#Fͬ녗8"sn.u8qfTciGS0ñ;}W1=stK1v4ORI?vp̍D6cF_voBuuGuD.B,i,}p/wעXZ-qkgYZ1b5c2d6ffcd49ddd438a9fba19cb1cf03102d92f5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 01ad035532cbe486194b1bf219cd96ecfa7467a0  Corec