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  LL ]]]ZF:threads=6elapsed=11.499cpu=36.916gc=1.992factor=3.217zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(JP *ppJ@vFq,-igB@RMJbXł+DEΑFU_>y ]LǕ¥~&gwa2<="Q]\?86!n32Dn&SP1vE_oRXE$20XnPI@lTH@q0QGG"\Yp gĺ;JoօFPw /%pƆ.Ḛ !k&t?^Sz 3L6kGPQ5%b"i c%;Vԉxqh@9IIeݽDEgfS3CJpJ!_r߀Ȟkc:0=V[{n4;iAwWC,i^B2O-vJ>kWӈJΞf)a m+A=ǫW4`ێ\=p{2,ej|Oi!^+~Kgd--) 4W .C&F;"=3L'+73SP*ZiqEϔ6`) eKa1dSƗ)Q W'ݦ?i'J,GxR.,8ou9Ӵ|Xę#WdbE_`NVԦlURU pP,mwgYZ7zXZִF! 8]ŗXi%9(RS~鉠TLZRTApzV/10PsZo|P+oсF 7yHk(昀HtMPM[q󱲟a:'kP&˗r܊>w=UHF3.ªxZpZNʨzx#ӥ',uowU-ޜ+5&,n HQZ/8@VS>okj7=#[=ax{2FhN+ֱ9B*v 1`6-J6v(.׵'I!L`TJ34+~vX@ܔWWդoVAJ)Uc#K˴5d2pVm]y➸TuU~fA-qV4rlIH;@뒸'L=_J3f>oWv5@GzC|(]>q(_Wtb$xu0sH#Qԙg[WK^y IbU.oљq~~\/M 9%j:&_Qp!&0xB7ض-gu`"Bt\6%e@iz}QL/'FV>)S\Xfrv"u*6uo]ft$aN CLבo( Rݷ6)&)`[HvuHf,$!wm? q't2*gu1;8.\^luD<}#jĘBJs[Umº>0ko:QoV\Dd4bK7ٔpYCb1K|!^TrgάXև opKѩo,sh y?u'~QlRj.ߛzsg-L9nu2ѿiuX%4P%(R M E@8 LScZ&ђT(V1D&3 `ѪQ qdSgYZacbd8d376a4b9c4886a8da89f107136674b782bff7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45f6af55ecb4e7cab758bcfa5981919c6be46ec262  ZF