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 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'!J ž5*6 26VXѭoTl#%G}E*s.~|R..ͭfmz74qE[qR6MB 3f;,G;PT10OGsL`D7dHYXᯏ䷾ݿlcb Kа _U!54:iDD3Ϊ4qKb 8pL`U{; P@"HKC[I^^ lzEP04I< B8\,]"rf JqYgn ᷐ - ZF-Constructible"zI'8 ikeCu^ς@.0NDeQPIwT]4ǔ3/9ҢE5U9 a%ˆ&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>o90.REd^^eY%0\#GD~d0t+m{ΰE&8r@B 5 no'qYHut}=*\BXW .&YpdF9g5=2JsLdànGytuj}9ʎ͒mv_+ cE[4 f >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~vcz uy ,WoO;]s˓qXW|"pĘgYa2ہ{t!hb8-(ǡl`Գ3D 1w"ҚsKz%7GbkX֪?shҴMȭnL<0ƨ^ ޏ?^u-ՏP{f?M|߶7JC(DX׽Q6FfEtX{ia}ɬx"3[ F V 99e uJ1cX0w4+l4ƴ_D`Dѐ [6/! H jg:>ڨ?8rQjb*G lܐ>l>rsV ~n7pˑü@lCOH~rȥ}^h.ݻE^ բgL*׽aԀ!yZiDSp$p%,@˂ӈ$c ([,'r?WJc|p˝du Z;[]]JI^ Z+1EW'1' Z TI zb_E8.zQ:mǣ} /OV$Odx0k̫Y[o?q ;%j=ݚ(rs>}ݿŀ.8J,Wh PUX3.,^ճ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 4™ZE$eC59; nɊ(7,HOf4'橑!; .`3MP :iU0C3vvuۋ69U'EgYZ7zXZִ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~nWThUK: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<>3TX8qU3