SQLite format 3 @ -
l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
P-D\E/
ZF-Constructible:threads=2elapsed=15.537cpu=29.140gc=5.172factor=1.887zXZ ִF !
] ŗXf1-W5"~
H:F`C LѶ\٦`:PstCƥ\3eǛk6
|#2?0yqjJ'eF_wG|^|bw/$uW+qMȻ!,̚Pń|H=TE7%D'!J5*626VXѭoTl#%G}E*s.~|R..ͭfmz74qE[qR6MB 3f;,G;PT10OGsL`D7dHYXᯏ䷾ݿlcb Kа_U!54:iDD3Ϊ4qKb
8pL`U{; P@"HKC[I^^lzEP04I< B8\,]"rfJqYgn᷐
- ZF-Constructible "zI'8ikeCu^ς@.0NDeQPIwT]4ǔ 3/9ҢE5U9a%&x "-aךW*xc,
98? 5G/\i
]سBg9d:/by)HP@8ɟ|$h`2]?ϟ4Z(HiE9eEaZstfuykG?kgEvVt¹']SPZmYιw2O `x|e~
s%/dCd0yՁDks@+6h
ElDfva{
@Rv,"!8Va8NNW&4!%劊'Ш|H"Fj|<84]K7#k`ewNĘ|VӖՅ~Je~Lֳf@BR ]N>`5r+A]רB5&O,p"@Q>o9 0.REd^^eY%0\#GD~d0t+m{ΰE&8r@B5no'qYHut}=*\BXW.&YpdF9g5= 2JsLdànGytuj}9ʎ͒mv_+cE[4f
>eaÐw E$YRj't|
,ǟ}7S@{){c#Pf$c䞬x܅0vd$\ )Q>9] .L߉+,$/5rpR80'ucL[na2G2o.ΐMUق{vk{U;
Jl,dja#k
nυJ8[Gƛ(wIH
mtW^-͉1 $u_gsqE3
1cJB8!#$F0D)Sj?<ͬC_ dDAe*#+bHa0(Y~vczuy
,WoO;]s˓qXW|"pĘgYa2ہ{t !hb8 -(ǡl`Գ3D1w "ҚsKz%7GbkX֪?shҴMȭ nL<0ƨ^ ޏ?^u-ՏP{f?M|߶7JC(DXQ6FfEtX{ia}ɬx"3[/MO9p%r9K
Dbe_Ǐm;
le(dj7Nh ,#)Kɛs9%;#E3op DZj$\.s;Pꍦ
lʃJa8UB9qLsY4%L-s \;DS\5:b%eS> F V
99e uJ1cX0w4+l4ƴ_D`Dѐ[6/@lWE$SJNS\SM>! Hjg:>ڨ?8r Qjb*G
lܐ>l>rsV~n7pˑü@lCOH~rȥ}^h.ݻE^
բgL*aԀ!y ZiDSp$p%,@˂ӈ$c([,'r?WJc|p˝duZ;[]]JI^ Z+1EW'1'Z TI zb_E8.zQ:mǣ}
/OV$Odx0k̫Y[o?q
;%j=ݚ(rs>}ݿŀ.8J,WhPUX3.,^ճaQ+ K4s%,!q|! QʧqN:ͺ gNl_USq8p:k3uPLāAzN8s~㽓C.~MӌX@v֔0)(9r)Yh!ׯ/]㚙_,^Vf-7$>u)dy2z;]Vl]Z'88'ҭvSO:1 7Ty*3_=ɉA5p!;-;oaQ!#yG: ̔Ap 4ZE$eC59; nɊ(7,HOf4'橑!;
.`3MP:iU0C3vvu ۋ69U' Eg YZ7zXZ ִF ! R'] ŗXi%3;T05ht(d~L Y7-:
MsVos^XFfb~nQE\NGAݑ^G$_}nF=۩բFÆM%yO@3
0 Axeg}7
wHA 'MS_R!aK{V9*ŠGt'?]5w S*Fn@[ZiN~nW ThUK:Jz=VL?q
AO1Kl}p+qEسR(y(:i0bt%d^CjNDJw.z7Em 9}ƱA6{reW2b5/>T)ׯH꧟}^d{)܂ȸ2iN:'YWw_xIf>n}_+9>ɠ+d(&kCԿ]2߶fCw̌,{C4;Ӥ$Ѯ`1D튢ͥ5rsmv+6)ȼb1Ȼ܅r9ɑXi{ZR(ޭ[Ar/PDL^뱮, K>oͤ a?ecI/a1Ὸz=Mh~.CPooTFugWtHśtM]C;pqIs:C$ EwB ,(%;X"0U9k{*Ox͓]nGM
b,EψϙB/0=Z<&_jS|8uEw>k:+*-6!Ƙ,ʉ(V-roSÞr]Pd1<>3T X8qU3