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 )4  ]S MFMC_Countable:threads=2elapsed=89.423cpu=160.616gc=6.068factor=1.807zXZִF! `]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻ\jo75C% үDH]wxxш秒$.@I{e.Y:L,uaLi x ta{I~]15֢bX.1Sҥ%c$6zI,;<\!>?CH  04z[oLgA~3+;#~-'태A؛ËiAtܔ~ ؚ YRkJ ) MFMC_CountablepB}t+Z+ IP<=L6BAV~(td)9s-SX>=Tzwl]^MJs[{-P8ޙH'#W ˷<mxo9LgtN":<={Qq[O&xu7x zɗבVeɳ49 wF渳"r̪g{pcE7\p! ׅMv<ܮD~S#;c-Y&m# .OfHq" ݵ4M+%F,Z4a% f?z )d_O<kznn>$;R͎Ic4N}LUWϩ*o3~Nk.ƫzK}նtz>׊0Sx |MCޱHr00(+ J}g]53mdMIox.SFim ^f @bq\SS) dWV:0]g3]z) xѣ=p|pՓ jjQbKbˉkdn#wv @#{g [d28mDdQO ͻ{~OqB}jZm`} zΒȕX>&&nb rX>Dwk/Əit74(D 8ƐǣӢ;ci#j<#pN}2G/h8 }vwK qPd!#S5; jx,9#B.l4l+-d3:݁w0{Ճ]0kfbO25O:gHpz}ӆ,R{*П =5d&#Azz$Kڥ\{t37Tl=!CQF<՚0L!\ᢳ; 2iAd>y1dj&; -U u&lrvRi 7])N.zSh crֳUQf: S&̇;T5{T)NZB-6vr*\) rbFﱩx^R`w-zCpsuYyZ&ܒx}#⫽{gp8X1 7yKK?X ɳ ΃YUR* RENC~6D叁mջ_(Z1pmlGpnqZCF +8/{ fۏtBYQȴ-gdCwЖw?jb >0A4w,eiSYg0%z*`iͫ=]gYZ7zXZִF! ]ŗXiɟ1˦rFܬdyU,kKBnY .s‹:2d \ךق׊~6j^^v{ȭRTS/=]h8FuS/f I/b| 2ۃ<#x&Ƌ{ #&LA\vg60OWeƆ7n6;'h0L|Q,1YTzvWB ӫcgULgW频 3e'վ"I?_q}KG$ = CYC?xN<\M (4El?ܟ]NIƹSx,Is Q9n{ʦxzTbGǣ4)D& J|VsP)`xߣ>Ɠ11<*ЄG{SL%rz$cD{g3pr@fTrorYz+~\ov;!¹WDJGy\+ P&Q0zSSPc~!PJZ]~%_?ײFet9Σ -9C?LS"$5<IJb:>!-OkݘIHXe1xW XOIrY]y2 wA`GV]x31Jh?B IWip5!+ ؕ[6Ha,܀(ٲm "SrS'Z avvGUMQˈ/04Ẏ-IbOt ]`(;W6l;Y?cB58,L>'}3j+\6w<.5 Xht(89,o~]G4TÆ2gq-L3/,RGy ;\z2R0~#Za|n-b\Ksl]ox5lP^g<9 Y YnZ!D qp7m.k44dIޛuU_B*=Բ|T܌rj{ m[;9_*jK:<#ۉD|^lMŝښS)ź3!dlW5ևQLMGJ6igd-jv+[hWTCe̢,7v\m҃Duy_bqo$oYq}_R*<_նa|@dw")8W= JΛ쫹 pyv 2L,hiV7 ~:F5j~\Ւؚ1 x*jP*pGJ Pa~rȪ*-n$+SKAE/[xrڒh0k\ N7(F~c &v8hs?'˴B_>K9ewy'i|qNi+^tO 4Ye.@ F*8?|;#j+Uu|cڈ̖rZkm?x~o×*N kië..`)+@1TM}e`(Cח-hP{+L&Ç۠A xsï_ @uӶ|MT <B53Z2 4]78HrddlEԸՆLA"[cmr2賢s)'oS5`B@xM˜ӽ0Ɋj\aT;U|Ի^o^gQIS`>\mXG%+u*#SW1*8]x`ɭ:m okɔ35Ӆx L8htw g{~̤xFEWx||ڣK-%zƐ)w~/kk/ۖv^&aȮ ?.:ݑ7Mf@t42dpu`Sz>7-0/ts4>a@=>r\(R/Rm60:!R)5t&IdzD[~J1Aҹ/$X[4!XUs|bd&odQUpXV9~ef;yDI Vk^$&kEaap"gsΫRj1QyNj(t}BGZNŢϳ_>o/ki7cٲȉxVxK=[dVBj*T#4? /D$>^l%&vY, e1YStRxz,b^:k]:~UܬZٰu*+~prRzw/5NwAԯ-YSQ+MK SA$姐q%V(dvehA׶%鍉ir& {F^g%_$ϔ+4nB1X*qgWWalϻl4ڎ `Y;CϟA!ܩӗ7խ$:eVU$$W8M G%H8{y-ڷ[R2nt5೯ I*rgՄ@Ց3 i9d=kHIi6N\GKwxZ3n0CIA8,?rlg4Pntp*bn.i#EZa?(<F!jsyCEey(nK<(R=aE׵GY Lj8bX(2ˣn_Qڴ `󓱇] I:we h%x,4-ۓHGWX?) -q5|(@DVNi}UPeu<~l܀I ۼ@Kp9s5pu,+!nwlm‡٢kQ3Wȿq`_#]li@A!=EIJ !u N뵠ߘeBp貹;^iK$ "L{b/Bq;laXe2y> [u(EX${O=״(CF%T֬fMJ*9$؃f}H|n Ps=YzLԃvb ~GP0r9ӇoH1ʦP"gV㟮h1YeN O,bnИX5dZژI85GJ!9F8^ӄ1+;GM􇿀 qF2@ 6;E 6$bf9VPQJ,􎾪M:<"mؗ0rk\H66o71fL iWf8װ\ࡤ\j+414.RsNqI Aꚰ^;RܢQv|Ra5_$ZaGpjZfx5҅nF2(د yA mZ#B׫vA k*R(waHP hGaOjFPQT`!m_RdaWp|y;s"d)(,!Nk-BVm^"v5ه~1\12/5/%aB{-E D/@ImL!Hg^qYC`D1D^Hj ؾ권QL;2κ;B/~wf 'J;-"_Q'U8{}$Zҕ6 =kSob5zڴzӃZcxk`@NᝦK$.7.q%,Hl~GWrod|7 5*@  ݦi^q@egϮQ>zS\je=u-r(DTV61ĝh"Һp@w^`U|"ԤrR; -6+ьuM7-T4]6 h5"@!ٴ';Tɨr1p3l`Za 9P׿Xvtb WI)ypȚ ʱ[He!@9@p6*WeRF1D[z+ r0œKB=Lң"d~h!Ij5.]L GXGuDɛ{G#(MQ:>5jy&b4?\,͏cgy]t,"' *8vP쉧MYXYۆA3'+ډmJ萌WʁZ8Q2>=0@k"`I+fN?jɅ2>+wˆ˺fiɚ(?KmkQRa{0gsI!MKw& $(ʅw奾äMi3Qߧ"|Ey qh?8ߥO:Ptϔ> 3!.lyUVXJu)j0!r)>̳յ ɮH2o%!%%](!ٯ6 TAM)b^Z|*xWIZJjhwǶ3tA(3wh sϘ>,Wέxf' [pxmq.Mx5