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 V   ]]]ZF:threads=6elapsed=12.523cpu=37.956gc=2.076factor=3.037zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tv2bWՋR#M#Oֆ =^%$]cQ) \#SE6!PTq.Uk-{8AC8FŎQ xKT.2I0tmTLO2nvFp[ĴIgyH(k!dɹg.xH irATQfԊWN7}`('fccgyCFP:͟lۅ0G 37" ,0I AT(r9•̴g%qثM7H~nQX%zBLQ1̬'9>l)T.w'|R-v"juFr]l@ղ۬ϩcJ\ضJ~'dCh G%Y hSslVf*DhL*nQC$$fPwlmC\q鏁` )tpEҶi%J.hH:#==u6v& r1S=/Zڮ.GFAi[ YnJ} _uJ7_ͿZ- z&<(<zalmmDMYC? Y76kNǚvz;މcA Nê4u6.TйƱ[F(}zeWWS8|"b:'OBj!023A҄ؓ_aRu"6uU輗2 Yr$g,} Ѥ?hHR%MyA@EHMoO.4Onan+҂"l\G\1S>9+=pG;‘&¯u5n+y lxS{Vu| )9,3h's&'ܔsGZB\dpxt1/4̗@}yĞu؆0*SdhLQF+}TL9reC˒6xE7;>֛+.uSAOŕYs7֦2ثuuپnzF=X=&njw3)?jcSٽ Z $m1k P0 l4UZ%(94MÆV yM mjƈn=vh -}=`0ojy 20wO<>dXf5;ɮ z(`gYZ2abae44116ca843413ece5066b2cef741a6db663f4b2c6d5d738b06d204b6be11a7ab87828edefc9f91d3fd65f4180a222986e02f32057e5d375043c  ZF