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 o)T, ]w MFMC_Countable:threads=2elapsed=98.839cpu=175.604gc=6.316factor=1.787zXZִF! f]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0tww|wCQþ {V`3֊8yo>~VZ:[gLЧ@~1Kv4$Un7N(υdcmrw+M S4\V˸JQ>[g$[ .q8ɱm13*TV;,*='r=2W;H 4j]*{TѐpV۴R-:9'bpôķy_?>JۣÛcPbkO޾TOvoUiG2&Cn60A ݎb?Y4xhmmgu ahgߩZӑK=7EZ!ђm|~s>R.-'!?)JwLL܆xY\v_W.xm݇u,*TևqdWvb]P SC¦B.u`ނl! j›6R`5iE`J\OĪY7ㆦh&E"zj>,U)]8*Va2a>pфj3U՚3]BďVu# ⛼. `}t/~{^yBIѓ jⱾ(˄5@ɗR/K%&p4'\8 O$IKgWZqj UhN?57ZqZ$=KU.>P2gN#KzzKw*i8ZDLo2R5y]E;b=NmLn nSx7$&lłk_͈F=Q$fA '{ Zf!j,t2wtMۉMW XGwN.@-Q#+?] u]KUqF7dG%96RdOX+^7}r "(xT:u/=ak찅*ĸRC}D{ID{t?JIur _e_lՐ*S0{;Cg7T$O7|w}0EoM~;oQ/iqħ|qx:+.7/-s V{I 4pqXE3+ՏTL;("r!ʄ> `'^C`"Ha6ᡁJ {QUuME_=Yv'; IL-YH( @qS$⭨zNy{x8ZNp=M"3 H(oEooA2|;pB_]&HL`HגJ aP#j/"lWdp *=ގ9yCWM+01)$X ͎_!9 nTdRX{M@irZWI gWYLa [aUb6$Bc&{2,Dn-SIrzs&2/C||ʍo`exэF fc,A(>ed~(ȡzET=:;Zږ,NNK· ДM[Ya.fpVBŹ̞J6 w#!8;feI'V}?e[Zڈa. y;TuO ЙasB0ɴZ7ޚ3j.Lo9+,RDDr$ŵfw[z5D2xEbWJvXFJZtpo/~5*X5+a H)VX RE%|Ec8'gmdYa_O^[i "0ɊoV!iQThJٴQVCJuj>9sR{`C[8o2@ 'њk?U['dުAF/읗5*m4>v@<`C4*!P1`':]$缶=F.k3:R^ ,&=B~Tk@SNiϔV"ifx٧=BЦ#٧+Q3/̵o5~鉃"ZY|:!yk ~v?` <.@p^Z 5͹_Nuߤ3.9Pv.~Kƴ{p.j.fVᣔ7NAż׃_cߐ>NzIJ5&}|ZcMqky>ܜh^M~2[/Xk'Ď (+1SH- ftR|B@ 9YИ A.Br1Wf𓋷MbG2SƾMJ+׀{D%4ٿL'&$U4!(̩ͫMsqAێGηCoHTd!L8㏇$W'n8"D@\D0gSƻp.y!P4W{)K}QN>_xIGDtkHUwQ^GLf\X2:pM4 05r([z9NuWkYv_ME' 핺f1^Zzm '3Ѯ(Z_?6I,Zi &ơЂVl ylPLB۳a/P[y7ӝM$0"Nlє#^{?Usdα67%Y\*#=@5خxĴYY$RQ)iH(z:3T}}q|f8'aԀ܃F|1R3Az$ȩs ulXU͈]r`M5eLhCFV8oW/M[ttKGw(n,d0EV. ݡgp ȁ.sPyl(~O{|Sb p=iB]N@ ,Xmr}ߗHu7&02(h* !'wbӵl`|LNGc\KMI3xҾ\Z)4,I5M*z?qz?bZ̞r8 @Qi4&zH2^7׃n%z148U\hxQh .g$+d!4-aJŹƢ Xj7) vBH "máor ZS=>|*n0 ā»=͸ܖ7uh'%,ujc%^Y ›Zr!@Gtz8ty=tCTHM /N6tS>z^؟Ƒuo8R@AM7.5[*nF} Ϭ}V` 6NZ/b ڐZnN1y> V%PNxPpGZXÃ_@ ]~UC1e(}&gl(LNlec,R5=8b6T-|a=#8Vԧ+Mc v=;]XAEDQoH6RnT:sZFp8@B;YjdUs$ *z[X}#MήLT]Qs)5ݖĨ[5TQ3:wnjh-oTT;-v7m{${~}q`gpn:J_>oGs ;i"Wl9"m$ʲR5ujr|vQ-;r?Y^S`gva9룎! vNnun?-ã֛gXg"hܢ[$ZU!=L hUJao.ſᵋicK=[)ě$_罸SyM XS(PO3g(;]ĢGɋx*TEKU!y}4 xl}q!}+w;;r{Bnļ?F&z 788G Œ')x +DϞIv5w}