SQLite format 3@ .  YYQ77Atableisabelle_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, "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  f) < %S Multirelations:threads=2elapsed=92.115cpu=101.800gc=3.688factor=1.117zXZִF! `]ŗXf1-/6vR[lRc2qJ)=?$~)LX8z5i%HـC&^߰- XStu0O`pX]̔=}F"#b+ʬxj)K}rP_i&76bջs|DKj>t*UAӵLıf:ljviĤNגzE逛ׯma0k's7:"lP k!4tEDmC?,{7Թsn$K„PГ@G.d]J}AII6ZGZ6y*jE# ^9 oƿ3 D 6&>я::{N'}")o׀j*>ms5\WF'[lyJ#`rDE,u3PD`v+J-*xKr:ߒ:!NB VJ! ) Multirelationshh Box/I,{f nO(n"ݜ)<իO}];#5U>:ˁ+p}Wv$Ecf"b]CZeSP|C-3k$JS:o.U#6y R{`$š0հ9F.l@Z4Iz[g(OF(Ȓ /Q^`ƱyGzzMؒ/NJqO+Yug%YYBl*g@GjA+or 1cΟÄ! yѸJR/|<>{ 8-SXC_{MKv&wI2'drbK-OISpue 窀EQp6‡R{,HjNAE0:U_$IYL_Ixw Ly ]4b;\ꯍ7;ZO:jN0 ُ.6H#}f!;5*/kǶTpgS=y6D- }X W I#՚yHhߎϫ]bfl.Zȣ!k TB@-S*{M?={]e"d>n ñ9 =ጆG!mS7Wt_ RbqЇ/诵GZb; }ɩ2{z<iӛ^^+ +uAc?֩,K4k˯ Cxj_z[Qt(nmQeGlͅMq=_IѪޫ}CQD?F@$ [\2,BG1!)( kѫ/~ IhxX}kY5}p+)ܲ}([יwdZ%ۛyF97Mr> w1Ur<|t~Qxb Lj{Q*CĘUN? oAFI(DeEQI/4+GYTJ]K{/{S< ЁLB/G5 1"T|eDMD _9Lɕ &8@X`Ͼ 2("8xYP -/dÿ_ŵ|c^rƕXhs4K{/S5I Ы-e|mԏ#H(aFyO%ψ mFeR3$D=C,MF[)rS6IQL"_ʰSYUkbaߪ9C0)k&3T2jDhI@X0"` _`)rOfBS^vp xAmAn]ɋсg0ڴ޹Kf>AmρO2IFAd5tӹѿ~/Ȟ 7^=5K^a[C"3!V /1`drтFq"6FtUdX$`m%j0,tnN3ԎHWnL3)W5FvJ)qFg9̹"n9m!Oe㔘"#FvЗk'l?:ϻKC\#wɱTU7ڀ 2a-1J9l pY@?t"/3o,n%0s>n*=pR(E OJ2OEJOc{c.GZW֬~@|f'^=n4p{psם]vcwv\k3r' آcAZPUbd /bp有鈱 hOA}Tlp$7ᕊq$=^ QM`HCNBy/>Oe,+DQřaOe&1f[̯s3FvNȐ5X~zoٹL!w);f 71ݤ" NflӾčo /`%p.bcUn];JRg% euVZJs; ܓQ&MfX(DkD)*ѧ;IPYA^v|3iseS sU)0$ #7xMFCVW8%+w!!edת&#*)JZĶx{GjD o0ׯ4m';fejv,%ui>$`>i#6b$Dz[ip]7%wK;.:3nW<_$vUA36P{=#gyGKEHu)7)ΚXО0 6G1 u!y"rpQvֹ䂙vRծa 9)I(|ݯg!NjV(|Q A%;} ;xr'EJ%P]'gEح(C$9v/: FH+J;) _0Q)nd_ءqP;z1^5+agYZ7zXZִF! ᴢU]ŗXi% {(}\y+}M"nD쨽bpD 5t÷@fnBԼc-5L48^ ` pjzD Y)"m^!|tcXx7wX\w)Ǖy,` Mm$0SF$H 1? @C[`r --]q aK.?oiY֨DW=!C/_같ٰ`Wѯ*ь|o7Ɓpʟ?4uDexw<ء;߻+gvi9;~ՖcX?xyݒx ۴S'2&\8]d1s"Ű{L%"&#g? tGZt:ݯU򜥕2Z\2^-bkt8s+>+ݵ4ʙн'ʾdT5(.q4+F ƾ.'D)ܓU#U!U@MN(M݇K#f\왅UU 5k> jTo:S O|β^UJx`]DoW5m8Cn_֮'hn X7z#,j#DF ~-zZIZK1Vn]<3:f.'/EbaHG $|\ ΂3{ Xw#CĀ.P1ׂ&e Bgu[`6b> p~fQ; Y<#r4n2j RuÛ4C|WKZ#l4 5Le(M"q̻\x xeX1;F^$4QR U tR5}5/0a5sU*XaoINz wEO>Q=3)pkcb`dBACq H؏6U|tkp#pf4w}eIEI\t7% 0{Ђz zlZBRc! E5^~үS׀Cѭь4#se.[=unV8,¹Ъg/Yypw7 1Eén|d#sj;圿~g "vۃDklooMM%O+:1 [3܁:#;p"|';@ZIw&$pC2V*TߎCPyc K8pXՑ\5k@(FE0v=_%i<)! 概boJYS`H U|xGm"a65W9Bʷ0%$N,\ xDgi`<:Gz2ed9]2Ӹ\:Y_1<۸&Q{%ar,8vWfYl,bEe֠ ,^L*VH]D*~ E< ю R[HuZ?Eigq7e'5_^-%9'6@*<>EŹ}ިnݹc[ތAS{O /xl}z\T^4C/$y$1@G3mYPwZ_ň Jfᄀ duj|+U?/VFɤk T(SobZ $, 4q9b/u+zfQg5)"kz24s+ȡnJB6#VuZb cmʐhw8D (l C(dHC.V_{pAZ,m t'~ul/N,P5GzsN_3qpis!Eko%B\w:pͯ=΀2$M#%` 71_~HXh~v`G^C?V+',~ꛙ\ `R(?fzpgMpyڏ6RRD_\n/C3q0zAs׈r}ãoFs {I#P+9jxXLj%tJ -Z%zF;D+޾w{<9!d[=ŽUa\bJ*ϖfeoeq$ui˹xyF Z^݂fer6SMZm>5UY!7g"\S Mۙ HN6=$~FnjKAy5R'a$^FlYDS62ZqC]chidG`e^5p_P5[s+.ݾ'x{PuX(lDmFoWK,:O@ $\~cl?&x\Mf H7h%eO Ajbp>6 7!0"86`zXYO0ڒ͆?IvᕳP仑aG/e cn'#ϫM/=?E *sU6H+pL2zzcTR,G"G- gYZ5e20e4fc330cb85a57f929f7cb117d5a4839eed5 6ca8998bae48a3081c3c9a0eb60ec1a07c4124c3 9d1a345466a108d4a08c3c31e9d6a6384464cadb d2ef0567b21d3450b941643a1f5a38de6abd51aa e3d2174eb362b4e6148e4579ffdad6911d33f397728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 2d7e34b51e998d41ed4178afd5a302c27eed7c4c a4a05a0f55508edaf10339d429ff62fc569e541d