SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 \' |,4 ] Myhill-Nerode:threads=2elapsed=44.635cpu=63.116gc=2.384factor=1.417zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'NCDK M xB|˗PByrf6'$qD$/z$` ' Myhill-NerodeTd2 `gfV'HuuZ{Bq[KtDk|'btq V9Âv6j)/Q <}eF'2k;nDR*t&r?8jsE$ɗ0,ecڱfu}*;Q"|#6F&{yUU!aWtk#c""&TÃZڼQ WpA͊6|^QbH #JKߪ<~HyBt;@v.A`8*׭!\0"95Ī|ހ&@Tj82 7$X[ҮqZ .^T)9Aٙ9yնLYBЍ Y+iތ'imQ[8xBi]|R(DP\*w2uGL~e(nB>R֭mA;ѝۧ{Z?)f lQ( ,pyFY.{ pCZ7{X`{w kD0gD&Rj0ޞT{bfK;IR"]q*D˩1UQeXS_AY,]BҍЅ=?S_rƨCY4'U1A`«[a `#**9 quB::yq=tUʳy7##YTiJ٣Inn) z!e>Q5c;sC&L%Eqd#$dT冣+f 0@NZshی~+ :{ EN ӤC { w&s :X=Bs/+u+NcLfލ]#c g9yv[sdUUP4 ϓ ZOoj@agYZ7zXZִF! ؑ ]ŗXi%6SwWБ <ӫYebM@~=1RHy9lS4wsϽ[)cO;Ħ4+u֕1_5<(Ls4PG_t@ff6?V=4{z ?Yh;ŸƆVmq6 FB%(9 6x2\P:U&hNJzlwZjF>ź9jkldɻqR 2t٬tquxoCL63[OC%qŤq܁tq$zSҽ݋l}1JV:OXĪ=8[m~c|ĶȫX1_IN[,kdx "-ަԄ#֌>/mjgS(Fzn ߞn"¹f%IZOrLhjh%' 3'˚a pumZ+ݐZx4nCgi&QݾmH]}Q_uypu+v,$]gʜY7R)$=/=w 6~(OI11LaH[F3J1 _kQpÔRܬj%kA7D'4HY]f-}J%1Jb& [un<t86MFڹKCgCm4^쫒nA]'fO8Xjshaem Kk!8LN~6NNEA Nx 㴍lOgY)iy;XB5t,zիI!_3_zH+8L+,&\~̠lޟԞ"Zg':@8!;V8GX .p-;:oMn*^BMy,'}"B'MZCL3/)qb(tYN.T k:D$}8 pEkVlgobq )΄Rf̕ p;1rp96!^\~gZ!m5j^;gXFLzdEZ#r12M`i#Tw5&<~?2uXpt=SgHfN(-K#qMC-E-h ̊E/F (MQeCthyV㱍2 gv^* xKEn!{=:SS|)udyD(ea!kN R)hUI݁I+)yuՒ|}çaS&Ej"O1~ qiZ0+G;Sr(=O VBLo>k7 O-px{ kɏ"\T'hG9sک6 $LJ Uj=ӁED݄UD!ᝤ2%ʑ;'xrvƻV{tP&4kmf_"hKh?VW/`ۨse9]X+m^n0N3MS7?;JsH8z?TTLJ$=:Ocg#WչL(+.(QZ@t!;Q9I'w~A !|/@ 0g3Zf<եeK.",1dAl^DbMښrz}:w衴jޣ3)ȻG)UP隶&9cN n׮WBɕr@ƁW?HPFSs!