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 z% tD ]w]Sepref_Basic:threads=2elapsed=23.704cpu=43.832gc=2.312factor=1.857zXZִF! &]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 ٴ]\Ms.{ltHJf>!sTDjdCIrv`RXS^DkZ$B s]SpXMVY3gc !5 GUbju$2إˎ21+S# -T;Z&s!hKoo,8.Q#a@nK%)MB 6(_E}C )߲&U;äGų_KQT"Ay%8X[%X98:!Mt l®bٓqJ*8ujbCjK6dhx[ʋy !FƃCMk*L$rci AU^zkbb+oMyMoRaON`)ѹkR~ 2 GOXB1ۊ"S9z7Y&w6ixԒZk;-DrE,S쫺3~?oʦ'ߘv'{fvWۓewm> " "ib]IJO4 {b}TeaFL Rϣ87=njN z0rAtmny.λrZN_a6 :ҦmINt}mѡ ܤ``8`øx1I.ﯧMX-洺`9RY SR[9/wN)I]. ZQXR>2cyX=Uy ,IFhdy ^^8Jiu՗‚"pY'z:!C_S 15^47a.layC\iyf+NVc¤@q=x#eAGŽR_8jnmڷ2׀F`bavMk/gYZ7zXZִF! H4]ŗXiɟi%3( d+%jh -ĝF Ԋv-@VMl Ȭ TBz*l~F ̾7+ІĈuZǭޒ*HM/?P#{[VwG# CƄ#W/21d\~J9+i}@JpxP1b\>Ji&<"C؈:q>mF&!w"v}]>=W=Sק>"߱頛Nc} =x=a<}FfT? QSe_ꊈWj,rL_\vrM?R;zͽ1p\%o50v}Ə͘4m2 ϰ Y/§3ti h ޤ@.th*ʸ^4ΝVA#fu\k I_x/U}:ChdÛ#J}U} "EDVHڢ{!L=H>aRa2W['pp^n|87zKcyU%`8hFǭPp. \I&1r1N5mb'f6̚ %s0ϳ4h Ou  J65=[pO<)L'z>3A t ǔu6M7զ2)| 3/Gs u9rQkNZ> [\=Y*G@X# ]sl z'|.,Dj+8y Rñt cJߩeʀ܃ҳг1~Z8Cjz ZL8jFq~'&t/bhhc^ UV_vNjbfvj\Aŕz=[Ֆmb_DH@{Ӡ|#9y˜uۀ&:%$o Iw*A<},J>(^rs؋5~ EI fzU$gߕӖ YyRSBf}g;,+l^ Vxl%!,*) ĖN7N.X?x8 皳 F [R"eID6ϑgzɖ^ZMsa-MPIJ}̗Vi՚i[.} ?[Kז]W%Ke{+]7 UgYZ89fb9f311d479508fe05d53f937cd4ee6b50e80879d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 c47cf66a7dd25f85d9efc73896780d67c0a94ffb 18c6951685c7a2319ebcf51cec66c7575088c186 25dbd0fa3fe11ccc0aa98717844f81a2a7e42b9e a6d1ec3f41006c58ea1e72b73df2ebd2d631803ed0316ca983703eedac2ab4017abc4f013daee315 % Sepref_Basic