SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
* * K-\< I%
AutoFocus-Stream:threads=2elapsed=68.097cpu=118.764gc=1.920factor=1.747zXZ ִF ! [?f] ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPX۫4N@
3rO56l O
٭P^y #\LStT~FF
rC
*zd4\:f-)oF"Io)8(WL>{`XV;
ţ
050-؛?d zt;RhIt 9ՆE&0DjG4zcC7[8o7?mjؓV@3zB<#-
i4v_CddN:V'WO_$& bZyN\L?GzS:3{Y[3!b`^GL;oKfTp*Z^"I%Ϭ0N>C];Mɨѥ}BLg]:t
Sm9D9@O +cy1BVG,&&K4h trĉ#g)f@tSK'zڐ30,PXkL(+Z
93SxaR$t:66G$4f!jٓ?^]f
!0vnXtL(x,H'0X*\>'րXuZ^jL9*qMZHH&9^s3|ĉ5]rAM)$|e'ij|'xy9īؒؗn#A+_kYvJ|*T_(=%^"+`տ yAK=(dvpjL[M*QфadJ>P#cɶCIeQgL[s~Rk`gODVC
V`1fdmfs!?@Z]@۠i,P9B`Χ!oy
X؍EDQmk^Bk6$>AG}eVrm9)#i'Bj-a?~dp5TG۴e{葤~1Fr?.cCP"w\?H_l:1^swtpM}ٍa}uzo.LcR
- AutoFocus-Stream nڝ5:yc q
Z8Ʊg YZ7zXZ ִF ! Q
] ŗXi%6uT{Śoݰf@?:SGyE#
g&xgVئ}&nC.,\GXtt)mkS-3E1gpMwr.=U.EI繹(t(mH,q@Dʄ̓6ӠzkyōOdh[B\p;_R믩[l_:?S$&2KeZ$ѵ2"ez>Lb/GUut!~6ȭ;զ|pe_l/pÃި_kc} y.@9ah)'3r4C$Z3|^Pu\è1e
ۜלр M[Ѭj"1i[ȭݠ)WK$N)aM`bI5CMa6ռ.tg\BRPh曇8ּT8:ސFlB:J7A(W(\HH#\+ԽҚgѩ wr\6i:JDBr
bg?'$AiU2W@zwTWDrVf%DbFNX05[!J~q1OO3Z̶:}uTGxX
?{\g"'әߡE*iaסkTB%yluU \{<+guҹ/M+vAض8;97v uԒU
306fM̝<+YNuZ#HԱߩ5_7c}/NI2`I<~Gz
M$N2/nVpJƎlf]3ICq%㳄hrP0djzj܈],Mp8ůJS" >-a'[hbJ \od;&$H|@p{r'OC/OSN:/g7;I1BI:~!M2lÁWvPM27)% |Z~#Y
MT:֔fz*922=ϲ}XLr,{1jm镙t qУ.SڜWdLf8ċ_p
R΅f*=ky!O5,lQw۪~#HRN:/iIsL@UKHʻVbY,WbŪMc{SiN
3Z輇M@B7bRzrM{ZOk͆;ꗷyq$QJT4 %y'$埆stNdY̌Kf!eeWGCM]CsgEoּ<(?P\Hp&eRJ<2.ڧv`o.vP~
pf3_SpkPtejDi[²o{jG&FvРLނX_iT&SmcL}