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  - -DD ]I Gabow_SCC:threads=2elapsed=145.905cpu=269.612gc=9.276factor=1.857zXZִF! RH]ŗXf1-/6vRZV2OHP"yZz%}<4hw,\~#?ǘ&LO X`-D9F%eokMz~ӳq[JNh|[CP34DwT}}<"x06XW]5-2#EVAa:)>͵w͆De~Pq6ǀJa"|%eO n~e(:Ukeh VS$J.mA[O\,*uqK7 d 1O*Lpy(m@2`8&wn?n<_E kFgA Ok$(bxWv?vu`@5[yWㄖXMH%G8v]BfЩ Cw6F .%7)J# 4OpY*@PNG`F?(/YLY(ĵxl\8PqYVKe]Hc| LaH/R0&Ws*ks[g[*L=Gjt:v r4t.a% c07Q:I=i7ZϦ8+LlSMW1Lr0~aA_bE\ޏl+,`TPƔ.$~fQx^"H;MjzmQug@˰־Ոv3X[POv0'ϰG2;7WʌTvEbq1MMD^ $։t[Tk!; E<#c4 ^e|Br%( }ygYZ7zXZִF! ⭙Y]ŗXi%6q oIBR!Dq.g#ۋO$E:7n`X(y\ޕn٪D̺CuKUt'JcU OG&|ʢ"ȳC}ĺ0'](XLCLmĝq$^~:qF 8>Z rIBv}19P̼m[(,5ciI083/VEQڿ==Fm ;?~@rbxK%b1$W`QeZMe5wAu3b~χpTU+ k ZE FChѽ@50L 0Dp}Lh1ᵈnj/~!{f=&=7 Mwֵu:RCzk1j0p^W)t'oIXk鐀N7N3.5T1mCrɎ+:m,4er.~.O#CG &^ߐX~m*KQ6}KVROjpi; @j/ÌUsTql.po}mC?`$ v5Alee˜7>3D' {ΑOTԝ%I- jcQ 47r|xlYgU>q$8ĴЯ&ѧ~))g]C&PʖRf*ϳX;cŪn :kD'q _W yhIoi'"?|@J^%ʹ[ b>m(vj; KW|@+&{D|~ɉOD*)Ңn@W3ơ`[T]"OY "(`Zs9ނf8 T6nj sV*5 av#\ ]AV{:i*qӚ&  D{|%*?m-᳆pnȕ%iV~5nƕ5JXMOI1Pz 1j8/;gϝ2hW;*0F"I݊ A o ?#WLefH{90W*8 yݭ8!JpՒ&j~ ){|&tNx^ $`r0"/ Ceqz2!dCR ECW.k]HUYg߁k 3GIF(BQ/oiW@*u"hԇݸxYg5t9}m\_@ZhҴ7eejtx{7KGa)X=Kw#Ǖq @|e} )]Z*D7 TY^fiV^ GIf y=1Pͺ_p:2f.vaq>qP[ĥ.b*eu&@1%~U 8.Igr,X2"STIYJfRUH1ow_%z-r(|^t*P_;M&C,ՖI$3LBpعNqwWKsRvZRW+z2tʚC v&ZI0Ĝ캼A1"*P7Ck.mdSǶTUS ԸC#lʪtT>x<{wš6n{k4QPƱUu6MVᓀ-bʨW&\YRP #:?%Ga,mn$!챈bZkHd$]~/yۡAH=GuuFwaZ}^ӛ ycɉevx;k{kx1+OT:G)ev PG|!ժ;ޔm⎷%48Lb;AIQ) }3pq5U_XRz[ܠ";\AD/YfO4@3L &!gL}MʠŒIpXGhBobƜ OpX4< u"u$ϣٓRE5$H]NjۊrKYéEC:g)C}ܸhMAڧ%x_{*„pE h vZI![xN5j k9jv+#bx@|f 'g)\)u^ajfߨa]"BfqJvx%q^b9ϑ%5hTk'AƎ)WO_ 4=C *C;=IYN~ >3z8虜6$JCD8?Qn$jU,^*B>v\pL2 &OigB}‰)_w"i Y/Wofs}BEkL_}<i΀`z Mo hzVn̒q.,Ja&6!c!l*3Q+}XgVSf?nc߲zhYމ(51e!3{qNj7\=yCT&9a%Wb Q!So?(iA~BLGHol\&"ࢲTWE}VQ _ĿG2RnuwK.ggdkh5.G-Nᅳ`b ʐɈ59q8@IA\e|iaw*2]gO{_ 3(+\5]WZ[AC &' :KȖ& (?A3'5'Vؗf.ѯoZ 5S_raX]nP9Z8T O%T]#X:R4["k@lwf Ej8iQ%V44̚KmZ iXe2"?+țo֯zijXb?64h3:jI$x]_*z+u ﰪr̮Zsbops3LGΊ_cf՛'E\ 7;hI mޮ~f {c?y0y4=@)m1ut}pS(6۪eq*-#LX∗ QfOQW_E[>$ hbT2c0+}eMjs Q`6%nS}0*vj%~PK.kʛwDfԣkK_}~e^qcɳ\@FiF&5L[4.$TeZޑzRh@)נq~qrOqHΣJBԕ鳼wRo^AbCtfUS˲ЧWz: ^eRê* ibjaOϨ:5G)lꝝ.\^wdFɇQcɖ1BR-Zd鑹gi; 7"IT\Q_k^":fMC>׉UTόj-v#e OYUf 6IC9EڕH>iXfn^CW= 0D wGtoMhQ&<9/W34cNfe=Zv=Tkޡ}* `zf+c(DfWx>_RLcV4 ɇR{տޭJ 4LMS6 nrW։48/d U8-~ Ԝz>wQA |n_]{DR5M d1ˋXBl׍εEȷ{AT>iXC$΢@QBe1mArY3h,{*Km,J0o`Vؼ3)Nw ti;(ٸ!H!&diyDAYNo|#BǨְgسKvAU~aGhiE X[I شSm۷2 '-}H/d4c˜w?@ʑS~2$RBlſ az$í!/V;1M1u[u"Q(M:ʇR?V葐{@M3ψ&2&u"?9u!1vڼK|aNl6C e$}}vǶ\ȑUsF.D`hm6axt%t71a_Xi1Iv綱҃ nVs &K$5MvGCz st9Ɉ5_,,ݹQuI_?[JTrP*v|ٰp竉bvY 8"5z:6~*g~HQoe>0v1iA JaoXf$GN0sLb" @*sd&n^uii6lT;~eXVK_FA& Df쥉0"R0=>kݼgtNϪu@ T~ed Ug 0$Rno.fCiEܶ$fp˺w]Vx{̢'Ã*O;0 ogueUןgw!l5' 6a֙sUQ˲~Hq* fA: L7&HI'3Pƕן6|܎{vnڋHߔ[)SʿP]9) o?ӿ#2An {w/<0{ZֳG@$ݰPKLbOuxɮ؋z\d+!U{pmlh{yv7uh\`ʒD~s)a@lrzu7s;+7|je#Io-L"nNcC3aA' ءZ