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  * *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 Sm9޴D9@O + cy1BVG,&&K4h trĉ#g)f@tSK'zڐ30,PXk L(+Z 93 SxaR$t:66ŸG$4f!jٓ?^]f !0vnXtL(x,H'0X΁*\>'րXuZ^jL9 *qMZHH&9^s3|ĉ5]rAM)$|e'ij|'xy9īؒؗn#A+_kYvJ|*T_(=%^"+`տyAK=(dvpjL[M*QфadJ>P#cɶCIeQgL[s~Rk`׋gODVC V`1fdmfs!?@Z]@۠i,P 9B`Χ!oy X؍EDQmk^Bk6$>AG}eVrm9)#i'Bj-a?~dp5TG۴e{葤~1Fr?.cCP"w\?H_l:1^swtpM}ٍa}uzo.LcR - AutoFocus-Streamnڝ5:ycq  Z8ƱgYZ7zXZִF! Q ]ŗXi%6uT{Śoݰf@?:SGyE# g&xgVئ}&nC.,\GX tt)mkS-3E1gpMwr .=U.EI繹 (t(mH,q@Dʄ̓6Ӡzk yō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:ސFl׵B:J7A(W(\HH#\+ԽҚgѩ wr\6i:JDBr bg?'$AiU2W@zwTW DrVf%DbFNX05[!J~q1OO3Z̶:}uTGxX ?{\g"'әߡE*iaסkTB%yluU \{<+guҹ/M+vAض8;97v uԒU 306 fM̝<+YNuZ#HԱߩ5_7c}/N I2`I<~Gz M$N2/nVpJƎlf]3ICq%㳄hrP0djzj܈],Mp8ůJS">-a' [h޸bJ \od;&$H|@p{r'OC/OSN:/g7;I1BI:~!M2lÁWvPM27)% |Z~#Y MT:֔fz*922=ϲ}X׽Lr,{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} ,WK O0(捿毞xk`^+`Z*7qJ^z[ vgd&=$R&]L`3ȉ4NxԖX֨:Gx+qr6 Xu+mq%ڄ^V_W~B21{3cI,$\y@}MiвupJQ>zB@i k/մM-\tE : b.HU1xzr~>_c횛 _a]\CR]h?ɖW=q! >Э0JfzIV};ZF}9V-kGLPK V7wīijCF}d..ZP@ +ct3+hPH.Z(}4dd-ԣL?NYMkfp$XL3 X4ߦ k~YP\ʝƤvW5qަ /A"dQ7yo:.UHm{K{XVgB6/hH@+!6Q _,t P^DƯn ft n"qx7iFEut6"[ TXNNB,A6u=a6 hU`0*c֘TRe GWͿ \"Ƿ5h^}UV$MQ~;y.>5&; ڴ-eB8gfvf,9\ [EH$0tɧAD޻@IWv-$o!#hnmOF P2 \)h ,i”8A&Lnkklo&(-êv g ]1mڤ4 5À_"Qc1C&zhzPlD}gYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 3c40b84801f079babcb203bdb62bbc97575716f6 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a4ea0b102b5a3f7037347fe0a92c125d8107c9a3e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b d01392cf664dabce72a0e9451d6347aae8968c49 f7a757991abde08f5532390c41185e6d1ea3b533