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 GG.#4t, ]/ Statecharts:threads=2elapsed=66.109cpu=113.848gc=2.724factor=1.727zXZִF! X4]ŗXf1-/6vR[]f])_١m{!q,a\N؏qb%,_Ձ&bc7.!BY4yy95T{ r=0R!FD* ]n(4VR( I|մ O3oA0qs2\omc.*y)IǕ۪qI?p~V⠃PKn%w )BOP z$p| 4E,.鯋r!zafσY%\AWR"2~g\BQd(̵0 ['>؀ XѮ遪މ\щO٦ưPaXfXJ`JYήfO/~ۅIn>b'mM/#jQ8l2sB]Ü{E&XyC*>A1-}yF07ko^3wڳ]^!n" %5 n0 8:Kt"x^ S+g4g,XUmۊ6ۤ&/鳺}ާ7!S`ӏhFr}mJ{c |Uqμ8ӖҴ]蟟C+V ko27b6s.Xb?2a {r Og*)7(r#^{DFK$fwnsTzOc5)U"ȩln S%v̸N$֢1d," ƏfNZDmv */MPJ*q]}U gi\-SY]!j;ia!ۨuH6zYߢZ\t')~TnEa7?ZQ*c4B|CtU]H8?pϸ野`Qϊk`|C*'OǍ &)W4<+TJfoD tI(RJYI>MQ%,ͤ:#oΖXW5[~=50Dr4L?&9e/cyY{q"|V*xsuaM^"q2yR82:9)Ƅ}5oQي%h M`T\Vn bӹ g@)q:[Y>Af|K];¯~"b9SUb8zѻ5D*>L|?Shͩݳ EL%KE D9:'LUZAᔸck"ʫ~)&:$ml/Zw_K"ɇ ~ZP/YC[YU %}a? 0.2n^@hw8rJq w͓á(ٝ{S%!/KɼXYg`SGImK,H M 8#.zHa#Uœ;&F' V+bKIX A) e2yˆvGVGëu?[EUNF)]c. V3so*|=V-Wfrc(]:)eDg٥Qj۞+նbȌ,Mji%;@masEa`)~f3Z0 ~9|-`R A=":jNA؉Mxv㧍pNf63tI^d:d sVOSI ypoE!z%vV{&SIEaht Y\ t MbIdRXP˵# .M;@#E@&hy$`hģ# J^?ui|+ <#qzb X0RKLN+2,@t8u2>nAc@$<6z5,:ZeZF۵> Qƕ1HPA#nwlĔJSr0 xRfRj+XXv6=DO0a!ϤвC]0Y=gAD}ГäI1ׄı̰v*YX-w"*wo4`4"PePͪ P 1r (ni Sgؕ9WE&;ħkd2 Rqɿ)E]vӯɐ0'L;5/ŐU\sl)d(gOYd3Kw!_pl-B9K6XEAJ* ,-*9Y3j5+WZ(G gfg.mcwyՊ+4Ùr.{R;%6$-Ws `V?nc%qڛ+TKM_ͰQ5v8>_BdrOH}ޑ 'C2*yZ+9zN[_Tfܝs1G@IeN-s֋/ƞ۟Ohn4&O "Xb6ٺk+>G˝l[;GdwD IUbzCd p[(7ڍk{^dԠiY^6۷BQU3}2*z= (G|ݾj˙ReM 2AyJtSK[iW|UQcPU)bfIFMoQchūY5}SɃ*UޜzUI,΍甊, trj2)+ʫ: >, |%][2ewFahU>$SrfMXi-_W \,,Q;6W?h~"[t#R$B 3Jm4f^vCawK Mktcȏ'K=xټ|>EPJ!]v._s)#Ka3e/k< ua:\{:>% v,U7D @MR(crDxitdKODF{A; _ uLN! o0L|Tw$שʮ^-.-(GZ+M ,___pcJO ̑6Lɴd rPrG=Djɟʻ=6!`V*ڵ S0FO+΅KcCG ptx j-X7$RS+Iwr 'aw#6M/53ϋ~*ﭹh%V۞OWP.utSRT[̔FneػDo! |kV֘av㿄2 |~ªlW1Ibpz Z%IEQ&.^Iޚf 6}iGQi$Ozx73UN,9l:5\f6m ^qwk+X0^#$T(.w.`r!bX!X%0Yf9̇O/T^tTMXA*Qd02VQ#? ΋F tƁ7FfjmY$%+A0th A,LB|7SJoAzNjZtӡI~5țIO'