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 {{n+ Tl c/ Euler_Partition:threads=2elapsed=14.329cpu=26.976gc=0.892factor=1.887zXZִF! a]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I:]7;o90v? =Ż)K Letڋ"=LK(\爇69='"e;$\s(fXҗ<҅!MfW<АL F<ŶV;r'cb`4ҪYg&Q vq+2֙2K`ZUcޙVSp+Uz0]c nkOu,0Lvs?tTp kfx7D̙sfzz':FYm+wbhM/j\_ܙZ`laZ3J'nm:ɆhuB?'8" ìq_a#opPc3kkyu:1btJ?,ʩIBDCԆ>}Bvj'.ImqM<IA@a(hcYu6f'p,~Ґ%!Ez(ω9XTV8׃5׷$'6SaJ!mL[맮qoډZL<~7!- eߑʓ΀l!s Iޜڲ} F>/q-Jr Zx"@.ƶ~I݁$T + Euler_PartitionJ@C^th,M){;m32^١D}-;C\V)ަfx^q9N2XTGZz7EWZ%&9l{tԗ밂)W`cdjFI԰J c -&1?@_.>}DKpϜ--|f&o5nҮ{<R&oecVf#ݘmqGά$[MgQA1㟨<<(Ǡ4K  Ч{j6|cS]0i5d+ȑ'A;z#&Ybk QJTd; _y+.{SqtauhS6];;A}螪  M n >+3XCoϦü Zx p'66ՋiHZ$}>]Cܪ +0 !ߋP FI"Xpe0FEkU\kz-IR'Ӳ^gт'z: y,.'ܖ1ARԭ1a9),q =љ?չE\@5; S27,7c(ѳ 8&H+wt3=/{m7J n:VN+Q;e?0־ToK~(g[܋&ӲS`]#vztE{cwouI\a*k(J@G6B"`cX" g*x.L|@|gӇyԲԹD|#`Dܔ bh0͊>4iYl~Yt^xM n8,k?(mMqšP4i|S y:Z]6xI4Q^FH񗻮)nOԄ0qE-FY1P ~'%\,:khER-K¡NjC8! !h|^>wBl&`x[`s0OS YJ.タsc ~âa:kϷDe,y(f _/4 u3sc4csO&r2"D晣C巎wvq @%!WpysfU*UުR%'7KT |OX*2O g9K^@I\~"DT{+3R' +m{<\Bx̜Q{T3*#>B՘R++2͂;Έ\R0A96{A #}6&Z(o m[ढ़ۑy[wA|cy"ժ1V4î=0s"[xJXQ z%τ/ut$L0j7wmMCZQ#xGvd/lƆvR쳸D17LCѸQz_iSDOK._\28'ؗ,4n HQ#3INs+0P|twE"{97PmvV"22F9nx61j@ڈAr- Qb52S{p¯[\'8 uxŨi,Bܧ-N7bQބ(DDPMZVvdFMpac2yj=y2IXFBh5suQ+KN6^}O\i2cOj$բiM96&PCgYZ7zXZִF! Tm]ŗXi%m]mqG*}z&0sR+XSyY#缝6Y<(,b4'o6-K@{bi}d;75kSDLĶ(C?JLvZ[@%}TR@,wyfFȞ\>KY9eKذv3Ia#+˳Y4Y(rq&ɉRzM? '׹LJbp{3[,@=xT:cZw§N.o[3l t0w:T%A0@e$}vteMcqlO-+Z;OFa!셇ZB́-3,}jȇ \1Awx+Z6W ^sXKpd,ǭQnbJpi]âQKD̏6HܾEW#ѻn5NDf'U3h~K}\JާUW @:=4羸cF)/?)945꺵E/L`z#bV3Xd'L$opUZ7ݜ܎j$7OП2qDvu/P Lc?fV!~ms >'c!&=\|yblK3 3iYb#; eO5, NݥVsIkl]nzd`"z͍΂Ü40ʘ^*)7~H2" .F h P{Pl;1BĴtM!?)9 1wʿNj-ڬWYDiIY\f"w0RJxU,?C!f]u!sPaF+&ޅ}'A<➎:hWڙɇ wNVi^[OLuit牍phpF=޸l{UQqdWgy Sw֨L >TgUr]{tOђNf?{`Po/tzn@[TI3t`^[jku5@Yl8,fx.N;@VLz\5q&=E #BgYZ1bc701f8eb6474e542db12a6b783a92904024b2b 34221437a109a5594ba7786476b5abb5979a2647 4dc5dcbb173c1d4a56ace0685a339a50db42973f 6578c93287bfbbabf36475cf25010632a2dca122 7062f6bc3330331442ee719da0d76412d11266f3 82fce86746f9061205d625fb926c1da3b71e3bc1 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c d590558ac27bd56791168a8179e1e46d592628cd ddf7f141cbe49f6438d63bc3fca2b36b516a85ae ea2803e6ad062cad8ab0bf6f40be7356c48a14adb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d