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 WW/<< +]Regex_Equivalence:threads=2elapsed=61.771cpu=104.324gc=4.448factor=1.697zXZִF! ]ŗXf1-/6vRZCV4  / Regex_EquivalenceJpۚF։}fj.gP {{ @> ,BN]9jÜ1+T{)X!(>?WJa$? > ]zt|!v'C#~9[W #jٝ}gE2zV.\Paۉ:JTFʸ1iMkd0P}-4@9]-%*AZ[6D}%]Bܓsal'e43|=@j>Gjq0Q`#Zyhڝ@'_s9*x%(GTzT=  лnda}~r"ԊC;uR(@WKDkRu;4£{`xjRG:jƖ9܉lciFGΚ2묌QAIG<7wq,V2ӟT oLb2*cQنnD?󊓴2q7{de 5+)MHH'' @? v=I}?GAwݷ".z,tȗF;G󲄛GG> sS (bT)IghhMNشd㘾LF&V&ȌCYʄ:ƧOi5$X>Ϗ$({#~# uR<ys`b#KCْmOͮX ax0ֆyKO~$&({EOh,4X}"i[uv^L{Zv(|k9 y#Gm^p5 0i-μ|ѱ*TGa>}|ZChtP\{!qXQOXws#_%"ˮk,AڅذPL5Δ+d'B1bP`a"]ϰ;u tZF s:[tc [܄zޡ!w YRE:͚PA@mi5}`|' 8v rZmuS d)YUT1ޟC>WM<=рf| C=(|0."|osʧ [ѷ9ńXO 0e@󒷩Ur| Ŏg#5 / "NkTRi*?20I DifqŕfHxB )\Qesnr7@W+7 єKag Z;!TP%Ba%FmpoOlmt4mJE^e3#{O+{ySH0bݳ˄ ZQEi޾^>#4`:!V~UX2\P/Njȗw$*dj'㰄DH$ޚȉ&2xђ 79n-!?š5|M^g,M[H(K~7/6!1zHZx@E/+pbo"oK&1H(Oc!]F$$ AvJpn>):i@Avxη.Ceo' 2 w*~ւR񨮎fZ22^36&cek'AJ>&7E4 pQc[Dz8rǕqޅfxpe,[E﵌A kTy/k_S@x- K !gYZ7zXZִF! $U]ŗXi%L6.Ψ%ef\.8B %z=1\1wd^ugA ,OaA^F&{U;k|M8¶~揵6ug憋^z uR;Y!Qf;F{G ja3#$<4L 5Dq{Y[{5tђVqQ}0"1e 儡!v]7"CAJsUlJcnWP}ڞUMZi+L:>A` k=-1R&LQu2U ,^v0ZcF=Ɨ}."Hy:MFlصU/X)7)[TT5,4^LDfň%xMS>Wҍ,%tl=Μ4snT@u)ilǤ !P:LMXu,e='߂=PڒS#aC(Y# 1r?%#5]Rk f.t, ]vU]"\y.:8)#0:j&EY{RB)TPnCՐ!ɎMjuIJlgHUZ yc *ўY;LG$G;.;C^gsSE8]/E^Ȫ٥ʊBVhht8+?p FɃ̌>94l`l䂻t5rVe(MS ! L3$`m9[Yx964]Z?L]F?hV٢z A[WLjx^Sv&<'>Q NY?zY==R:*'j m߆E_UACmsk\H3腶꺐`s/1qNwL5+m(Y Wڈy#dRJtI7tRl@^3dʚ8 Y.'V^eR?{Jn d9pR~Y3KSܞBC9Rx jE4{3Ch(,E컳(]k!FFfr#DV:k->9-*{{Cfmr2݇x~t.5*!y^V,@Jf ?(K ?˺=VfX?`RUco~٫mmO&?ZWBf00$BN/ka@-) _ۘ,r .jMv;(5U(Sl\iC IC$&ggtN1A!ˏV`()N旫 !WyA?ef:\aU,%LJ|L䧥әq*{XF"iOqXV_T!{yVG?76I ;?{mJ/rN>~=ԫ}2gџޞHrx, Oµɢ۹@@NϳN7Pa$O]: F{3ʵk?Z^ HUxI1;UUxuøϡT%`c4Uߜ4ߤMN}U$r7RRulg ci/~ե]C]Rm!Ӡb~VMUxQiZ(*3BYVn'@<{gN&]kGל;Lt]cC%'@lcNak: - Ha WOec e;$[fZՄ{&ŘBt`Ϲ] gh~}>쟴==Skp-ےu'&[kuBP u?P;pX~\ 7?S3-,smֻO,LbCH{0}\`Rf!9-D1߿m/6 D DGzN&Cؾw"T<?N@ۧzly\^fbjJM~ҭLAN,oƁ'p' 3mcE~=j8vGѡ+3S YX&~-9' :1_8khƏ쬴U'T|0K#I/*Ӑm0gv+wg:|g`+L9lcp;.W~|tA% ia/ߌ՚81JE aGvJ1h@ @àkش?!d\+.tn¾iK>˫1Ta2ŸUl !6!p>, S'J"_iu Jܛ1/#GsWw~uHN#hl\q_m q*^cn qG9ӈS./"R&d4(4?iKG|GBR4(#<7.`ZJ'B[KG(;f?EG-}Q<|![6V$A_GW{!qSKeH̜; _ :Z016A $"3:0!54gYZ2780af53be01111bec3f2cf4eb38ddd2126e1bd7 29c8f77fa9f7b55ef49bcd884702899c85603e4e 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 52b0aace9d7980c050fa4e0a384a785c607e5f31 5b73e387aee49f1341bd29b64d90d0ffd7199994 5be75f193e816ce0c96027242618360b73e72d9e 5fa0227b70b5fca496a827935c5b9355c7bd2690 7c63cba2e15c1795d7a385567628f7024ddebaad 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 8c0efb52f8165feacf5a0bd13efd1575f3693a91 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a6d32914e31475e6e7f5602f73bb2e4248d457dd ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ba9423d2b67585ea70e28b21c0859605a0c6be bd9fdd951b39941ee506debe24c2917119fad0f7 ea6c88b7bf770ad21d04d2730aa6e0104dad84b780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c54482cd9b92f17ded13a7a35a035e3506d844b9c