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  m Ddd ] Circus:threads=2elapsed=51.271cpu=98.256gc=3.404factor=1.927zXZִF! E]ŗXf1-/6vRZyⵞCy*!Jlú,CW+j3 ^2AuV#~N,N=x;wX ۴w᷽CL%OAeX ;%p!v9n5D]>w6Sw]LLY5jM .LwHS!z4%|Jklo4y*Xu=~iec{=K amOVa7SY^.0LV/hnE<bؘ`Gȝq9-'ߌ%[6fBvy;;hA.{m><Êzd*c~H#-^~ek>QuIQEgqbLkU)*^\!{HQ\Hoi[c}[baIqА ,p:`Aq|n9Nr|]c^Ռ*X{Y#vI{/k*#˂utC6Am   CircusfcłiߡTh'vK%X{v,1GXSZ՜- gYZ7zXZִF! d*]ŗXiɟ>+yC, 26ņ4ṘG<8w_8xi-5hX̥jd~V0/Ci@QBy(PZ! vSL~89|ago_Dhp!rG] ? nVEF'"N ڀPyEoP>n× ]HToW R|Pg؀F"SU0bB͗/&lS\pxgYZ7zXZִF! J i]ŗXi%90øZӷ(t)q;Adwg.J$BK(JXy/ #>uċ5 )z_YMG:k&v$tM25Jq/TblKފ 4T> D> B]x'k)i=X,Ah_p[JduF1HctRkn=+Ձ02x{lxc| SR!N#cO3 g5g=id c؊00 x4)}z5;_gǃʛg s:؇h{ D8g}؅C0fާGwQnkq!}uƃ,(sv6w`XsY~Ѥ$@ _`c= =LzaJʥ8KU٫ RfZ$ϵo NN!gVZt-bx?hLJ/dQ*8'_ƞrhͧ#QnPl8H碫K+uX.$=+b>`Ѹ}-Zq#^xFrrȭuId. <CTJ2F ٞvHKU?+gXE؝U!q MV3 ƺ9*2 !f;y,Va(Ɗܿ+;qE0&~*IxD =\^^6cF|`DY@T5 I]̜n 2T]rs%fRt > vAg&̬up[tZ=ܿ@TSTrkP0:5VbJ2:ǾFGn*S45ܺaT}mvyׄs]ܢlg=\ \}:NfⱰٱ;B]w h1󐫏IC#UbTB {,G f/{k^ی5Gi'dOkG\åé*Y9$[V )kh BAbABpw m~ (ncÕ BK{\

XNe=8ZCmQb-pl("/z_)P6yLj#ܢqTG1o`Ѯswp7~{|J5ރJ-mc̮KC(LS3f:EwD߶:U`PB >$/ a0ûki(PV7!۲Oo|T j9rXrC(9o@*xu6cĎ]ƌzsQZiBHpGTԓ6e+R8)pH?x dzPY4fe89$ a D4oP{9 az+b~ Rޤ(pYw.X9.([\? L `lb˭ wcOb~:.&sIu9.ЍԶwuB)ˮ%cdME70)/`o{:d32hl]"3{jKQ3B)Qm/^uecdG+4ϳSV{iޞVOjŁ~Tp̌U)BhTmYpzJ&ј?:k`ť>@rѣŻΛ]ZZ$^(o͡{\nau|ӽdiQJ KMزfYq 7}4y06V2y,A[Ļ!'tC9)gIх̺s48IrZ莅I$f<++)A5LPp_Ua_n9x3dP!԰{19q9׏a)Bz#@ S8m6s-oZV#TIݫHmP YsÛ@OtFQhbmPv4a(>S"dBs'Uk~S]Y8K+sFþ+AQ &[Us46,ŭcd4ME[zAw~=.Ǟe^L͝DADz au] 9BꓘJwM- r 㔄/Ȑ)89ͩ]a8ud*}x;@<67Y ²}-X<L1]X7U@ǔpГ"uQr"uAwݛj:bz}t7J=.GV7h^% Ix3ױ~8&wqEH.̀?ELYZhFb?FnL)o +N *T6Թ!%F;aąpUcu]+ǒxI{ɳ"Yg%P* [cCrT2+M9lgYZca1d8b588623a9f59c4eda072c7435cb4bf85f26ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 a2c1ae5db409c569208154356ce41b9426f1217c