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 S) <, 5 Jordan_Hoelder:threads=2elapsed=23.263cpu=37.428gc=1.432factor=1.617zXZִF! =]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃--SFgW֖< !0=~X[$70 ͕M,ySi߻l –0*767hT<a>~'Ww lge+ V. Qp$nET0#CP7މuW0^.SA f}>[q- nL1Q Z|99u*tNmWLa@ g!!o2Q/w1/d>z:c>I$f~䚦 -y,=~&oX+4~N.cN%-*}Qc1V!fK4w [YXL;UNᐵAa/(2$h] R1c@K+/扜c۟(PtV!"1 (w 6&HY(r߾vgG?y*PVAOb7)VK8j5跙C2) invHFlN˕ϴ.ƻ<*#1eʬ>h8w+rX=6 ⰦgY('[ _y0;%ڸ_P[ ) Jordan_Hoelderi'>ASmj {*HEVf7M^ʌ3՟H (zk$;땬G}HvkkۂO"iȿy׽LB4Ó>yCoxJƁc"ZY|-b̢k|p_$W,yT)%aWwK[ Go.Xi[Z; NC]< 1F `b汄 clb渭L0N{y}yԵI,R,3q_zf[Q0]SMr7}G\)Ni,6|^DÉ6ʑFq\Ydɢṉˡ?q!vKXSd|}ۻ6C{y0޿BGnj(V`n:dUV-lꯨ)uíAl)߳2i.}E#g #GÜ ǩ0y:'@"%?uҩؠ-/Kue"]Hq[ Uɥjun(xls qnp $nv K$>3+\k7@b~ܴNh1Ag}UbL@ZH J`Vl]6IrɨEY\M>H)3qKmۥ⠱ k]sϏwK6YL"" # . (UR2v_/ E ȑ?Z\mY bN0jO\T MZHEeC&g$_BuOd($};unye{F$ta(婸0.MgCOaXHe>^GmL8)¸6x7FfhU\̷ 3P:x鋬Te#L^J{c.֭?(Ҁl6v_q%pRӛQ?ӳp4*^mL#]xqL29e|f=8`N{7eS*N͒HtݵvZUm2*[ }DrZ4uwƺjfY?, lr - zWSm\>K|2[4/>8!(wլ{D-Άx"9*)#XG+ѕcI=Ǹ-5MĪR*`ڐY]# 9Jl7q(>r TVĀmQb@q tSa(Gi>[AR`cIE LMv.x~OfK̍h+X{M}RU)mP6q\P#Y%c5P*.iCY .?iٛA=ћ,D}!D+ 09`-2fsw}AfBM;λYtՍ9CK5!IFp[1z-nB (-F909)KڎztS2l6<<((5j\R nIB zYCڸ:NC<&=')|;ftVο 6`R]"'ɠpdUVCn (zn,sW- 6ZI م뇗WTRܾ{~kH;/Dw4BӘUs=S!S}'oN3"wS2Ĥ`vrPwHJ8XI A"]рc?Hd[ݽcK^`DŽ'E/2Z%z6ǝL`[ՒB"r_f5 V857dQ5{l2J.볍G-%ϗ@[Ɏ {@5FR"6:y 6R\:OJ)8i[ZڗmÈY4zc2G݈lSyX]t6jGqc!8DO|3u!Nb!R~0`K9!~ⰋúSAn nYթOɍ2C *sP-}= VQo_{_kePf/' 2^3m^Ç5dv60$3 jA(sѿAegHכ!S& 46tyl9t7 4D,'gblDw;T0֞?Ұ;^.5|$&H)Z?uq$rw%]?1] ( [U4{)I, RX"h oR(RCePiF{rJW¬š.Vy0L(Xv ux`&GeI R"Qۡ.AQkJKk,51t mE*m+5aGk믘.{j&PN): 35:θ(4 o.LdȻ ϿtG\ q=Pγc`eK (A %U9E+TR_:XҼ(|UV9 oX5Ȭeշ0v΁@2e@WZMEB[$tcd&iNjt|j:вD>4K:r]g#߹xqc+6ъ_s~'%}Z sSCfAKe,ot,~AcN<EM> W%C=lQKp]$Wr 7BUr֕]_7$x'HNh]z- ] \#ǽ? =)kTOstU G|g͟ QVPzj}R-琲+GN ])c=,vR_5a*`h01ڞp TyA4X/O Hr+~im@?%K5dopm#,EToGV.  ҁ12F5~1OSlCF5|Xz_Q}nHֱdE5q-uzt׀`!Ut@;eLOWyevYޘ<X! s(Q!($bzACVYG*:f)&4?~m?v%rx hSba&dt (w~ڟUt(3~l]t;/{@XgI?Jxõ0]/^I5D=N{0i$L8VœxN;g7O΅/y)DJLLBpZ6<.]}u$wmh~! ;Cx[,O-F窦o_QjvĿ.ik.DDx~ͯ 5.KFGF<å],& Zދ-#0?0B{OƗ3HQ@ CH7k|#pfLgYZ7zXZִF! z+]ŗXi%H3y;nM&.c$³,wS˴|SMLQ "LJ3x>t9 ܳxȕ!̬tCKeZ3Q[ѿMdRyH00TR/"98znCv F\ fV'[#HSrG} L{R9z"͜e4YJ]?BGzdnԩRZ'8 B!Hwu x4rC", E`| 5^k ~i1@Ă#=B8к@afi Hr0͸BB%h1 ? (ZzT7X\Lm5͏GcHm̟HGU ."12L{@5S -PÈhknl^%*4I& FeZ.UQs$ r[,sIKJ[fYXbʰXWe+r 0K״n=bոv6i#VG4M}:n ݥLC m+WΩWeg;t۞U 7 Y4u-ٯM$E;` DWAčC IOK/תJy*l>m͓ΖHiT_sѵvBlyS9Px̞SvǶEm;KFsٓ\z" K}'VZ &s Y +eo"Iy>S!df/,m59b C3X*(ۋO94T h+SG<:WW?= h'+u Q̗tG{\f23_|#SToN}2!BecJ P0dҞG&>7XAh=ؖr`c PotG Zۗczo #W%_=;Ks#Wo'9USKC:gY9l?sʬSԃW *lR(a K+27# q?t*fܮRF(A'sϠ?]8W1 GIgYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8b3f99e8a85c8773c685eabb3fa2c5b88ab13269 8d413ec5196fa7479220c95ac4f71bbac2b0d693 b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf48c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 c329537f2338737215b0b9c870b75eecbe1c5de3