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 {{vD< ]/]Simpl:threads=2elapsed=113.290cpu=204.812gc=12.336factor=1.817zXZִF! a ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk;>^vz+m1Ͽ@,ǎ3)0B8XQϵl%sA%̈wCO[)yP]fQ Jx4đx6&x!˥A&'o@824C``fb>ھճJc](TOgLmg48Qe6˭ gEv `JZK8ENJ﫚;ܲ7G_eIO+ut)s kI2x#񢎩g/ BU47-6gs#kv?wC 8Ҽ߿U@@mDKX;d;!'Yt-D`6JF1^ F.֫u7ć|4¼ gqgDQyؚ#cˬqnaR? x1m.}`ʠ_84X:ՙNtL\"dϛ]+ɳ*ɘ܃_oBy(U2g+^u:bGaݻ")%_@izZ3 1Z6?(贸bKd_)3 B|~5r-χ˥Ϲ4"n ȿ7+'09IVYS+,(owI :\@ DNc"s8h9Uug;/ZAh#IJ^*P3Fˊx]1bӽ:Kx8jfS3z91wnٍs"!U܏YZ cn0TZ )OM&$Z*Gf`Dfows89^q|+WnÂqp]W)難E3kβoĒ E~E\ b9Xy~$UZl\UO^о7 dY39K0oԡo,nfd>"s,@`sR <ծO`~r-|i?m/wtxVlaGe<шfp9K(~oNSmRǶ48Rɰ= eNJˬREfw&;I$aZY_;'Ŭ-:aME)aoZQB^_[CJ__k`/  Simpln'}dSLƉűk# B+tƂ(,V!eh^H&y:;Z&o_DK>D48I)BS>bz~"HfSQ1iQ=W4+D4؃h; -Y?tV(pp$ !%CqDˏN^pqTvg;(3#nKsȓ m6(\Od0~c>iB{\>*5:4E Qcu~St=w:b}bQ#.R@+5kNdLuvd !>7=Twkb D3–Q-+n0 19:U ÎyVF>kQE=հ;]k#-&=BJ36h`z T> &8ˊP I Mvuڌ\H"- k2rHRTQg_ͬL4($~«t}&8=_65VpܽiI:M9?`I<E hu,Vw[y&zW?>/W2P&+21 w8$1[S><$|8N5HYWnS yqOa3g-rzlY#I/zob״V&._h+P~v7 Y_x=tuL1;u^&s-i^~Jл AgJB)ź!=3Y%PrgOBHj3tn2}I#1  xTnmczxlVf7_vnOiF0{0=tz:%auWs1b=o:NJ>.͔űB!vQ22awi|8* 9(8;kT:ȈdUAp\_<&2E]gm S4'9>l+Ϊl|tT{NDs=FQSgtPgYۄ 5dHAb\B$~6ƲU{%@xY(YļV#iZ G}\:3P_eܩ>@ N pOX# -]~+Pak}"=D j T+RO+Wgw)n-:}$_9/_\OX(R,Ւg 5]ٮezbj27vM!(@p&s,%JVsb -, M-6%(AWSjsAtGj2JuH쾻0oi10igVP {ˀZޱa(J~rxX c,X*F_ uɝE1 RLeihx}a{<5|ɞ f,˯ "ɜ0K˟ѽ{O2 g(|0+2)Ok 6xǚuDͭC8]gLա(pd !. 0yH{(];R~ f>]9H@͋Z9 !lڲi[F}g&Gғ<{d]ꅘg0ǁ3/]4Qy|l{\?64{nv,uB{r_G"P߂ӻ{!+?Jɯe GLHƺZnEƅ"gE(_7)}E\hrAi׉B,̽VJ}&YH/nP[k$W1B4R}b!0cl so8xl?*Ru;] (Q(~ia^ # Jjx1΁ s:oA[+<"/gXD14Wgnl\dΣU/Zb]$}gs5KHK0[gM>lp6 qXlZӝFɠep Z%do+^y(d7~&MSN8dTb@*G0\^^:AN) {J[;?]̱~6DSx$CHr+FuKN"*\dΰvD [)E䵉l=ѩH΢jH-q6O"#&j/\3A1ExΘ"^A`p/41SuG <OiIa{aMjKWL"B=JtaO+-7Y /UB^C{ӟ_dѓ7HNjzYC]g'w [*V@x2{09K>qا(s1Dz^)$-ߋP49>RqȓxZºnfISтL^lS8bg* OŖi%\7X5eaSA< uh(c:* 8-M[/oٔ+r1D-MfImY6b˒]k&ByV8|M`AgWaALPP+81"?8u - E)p|Zg`<SSjXYv TL3qQr9$Sc!s3;1.0/њC#)Ck.&O4K xB !P&p;~P;ȮUz0kfBofUy-t椇8a{Q׻Fc1}:ufķ2/  , ./|~ b.]<_0J|FtR]۷m(~`ʂ,J8=\Fk)*[@΃#cp`s= LYPAK_Ep!qӓ"2]6]"=&i 9} n\'}88TXōAIQM6)wG7k΢1s+Ήލ g<9zV^k8d"s:+2H]J6?'\)!*hĆp*}8aG ie6 ӱA)ն\q>x/`J,qB2hp/W#s}4-jTʠIkOa-dbU7R9||r M 8֝" ʞ=SZݼIIwϣx@ךӦLkLw lX.pCKPOwf1nYb|P55dMzFzYE9)-uW냠bK|8 1\*~{hE $-}Hn ʳ}/>饔"9#>?\ʼl'J8m0Lxzt/(0dSKg:ب԰[-}hӭ!*>|HTKq,6sr-'"zj({6 ՁoZbԏ0q| #1 cѭd#׎rv6e r<; 68]ZXÒ{QPQ1HV$*qif8= 57S A6MWh:]D| OQ2TToʩͰrq)+Ą+S&S|Asl HWFNPVaY8.2-\_ N.<}ݗ3!