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 a-4 L ]S Regular_Algebras:threads=2elapsed=92.368cpu=136.088gc=4.384factor=1.477zXZִF! j6T]ŗXf1-/6vR[O CК#WI<~#xd2 uzjt;@T.#+u݊_p#ԡA! 'BxZ}(UqESEּvƹ\Ģiugu?%r-C5S"\cǚbD6-'NU2li GǠoHLgl#2`G07E/3&.AE1ra7Rte]wCbݙkuڅ*c.mA &ʪﱇdٞJpt1l'J'E$J"nsQwD;]g\5SoI< rfΒȿ/.s#;q2ړl-yovZmw;ow3.Qpe#ল&)lWr(1P-h,R;~^qIyGkg3# WV$'$ٰqb [X0#䟈6G}\`-d.H5@L}Q5qE4U2E;r.r '0J̭J핟 4(Nj }ktK"%w@XTҳ'QNJx V㫺{g0Zię)':6[r~ün`&p$4P$rnP Azk,WLߔ%E/1xb ŨC qyv{ZB;fCwX◐n(iVQSd/^0?q觧#0It`nsL]E7eRti,z70g Yj(2YlOL"WmQرEcUSױW7:%=j/~Bc`QL~9X X(|U6ۡ1U&x @BA]'!(_ms~1Pp4OJDh OMqixCH:::aXl'#<.T/F ѱGBD#Uc ̮MݗMIHLj ty,LA7;><ޘoH*(WZE>:5np_َOsN*2Hra \|9bFq*v%dlХm%GC6[UN32akª0KBB. VoFM.| EU"O1 @IÔ[!Zs yQ?2jg <] S5µdJyJ,K#Mʑ~ ^^WC꫍* [c]ujHpJ=^Es@}plè^-+zgYZ7zXZִF! ]ŗXiɟi&w<6:N ^܉Χu9yqSBm7K)mSɯ[̤Yo egrǡMwuiCͶVћȕ8ol(2[m3h{ʭ gwI' e%+ ob֞w"ۃBDϓB]@wj/i0}El7Яli m:}/,xUog-yRH7G\_Jk!+=kBW9@sf4 iPuTƈ NcVZp"XWYVkBƘ *nG c~0s7qOֶɏ٭8M "wf2(ky?DXC,lFahMQכUqIIe yјd:l#! 9X#J/x@rv1IiX'1kXG ~Q܅S{2H,¼ *ȉ+K0͆0FjBmX1<@Bp VӝB0,ϑ(j n䃑.sqJ{H ўUeQEvYh {ߠOӝ0?5+Hf__ Re6Cd'yɁ4HPٳ,H陾pWPhqȴ* %v;"v`1bο'!,oZs|WYR Uꓳgcmn d>m_T?e=G÷5jA.߶!/ZaKy}5) j,tJ{dfB&l*sܣmB[mS-T3vŃKybvIӪQ/01)iyof^լszGvEZw:z!v y+BD46qj4qΐP17Nqa^ mjцM6 yzB 4*1„&z[j̼1bK3^':SW6?P(>`E ]ihI,ǹ{[oбe$L^LiT2$RZ=H-&#ZSI;u49RsΩyʮL-BY-웭+{ 1K9*L/Pp^[vYm:AR1*NhPy \t,ۅN0߰%}#=4˯iXuqSP R/ůS$\"^',ϡ RphOYT>"vN%ȅB2ќ@}Ciݻ+û~?_,2n6r`zi.Y괃l3g l)r§xx$ 趼%c8!ԕu:uƙ A4lƠD˞r!Km-Rkv Ԧwo7 )\>AyTXQ/>a2;bEgf%qj!MQT"|SҫSY,2~Tj`颐\ f_6['7$ߋw|*JLCkp~s1P%P`A@+ငΛKt`ά @ᴟE= Ap L= a,]_!M:: WoZcѣ>Z'\y g#rSWpPΈJˣ{y=u GJkX- 'Rc3Y|KZc/T\+2~Ji-/x 77 IE@Eͤ3IBPy%L/Q^@^_ r{ցDӻ7F?&hsɟ)T(Ln/yЏz׊?XF\E{9T=|r׎k1dptkz$`*[5 L5$a*_|5؇'c1k =% ׼h+\(TWLѹJ{i; bٳ;sa3{-k(y_]<'[AQbQ/oqV8!qE 3VJ{rg{).tD?sD x)\;\㹷^ͼ%OQgYZ3297f27d3b4df1882565a86efd32e50eeb2bc3fe00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1d794962c486b8be2167e1483c98de73c64d1df2 d6f61e0229c78f3946db5cc4cc6f7e62cb6a1a13