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  P P-% ,|, ]/ HOL-NanoJava:threads=2elapsed=6.731cpu=11.164gc=0.692factor=1.667zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sY^o׋_unOz_ A$jc߉)p@5OQd^V_VړJ70@ rgYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EU=Z%>⁙2szir"PITŸ}o*ɛ4S:S!*< 5cI Nk6 ta ,5ʜ$HyO9 @yTF0&U=_<詿wu(=tVgYZ7zXZִF! .M]ŗXi%;>bX)`Z43GArx|mLaɀ+X2ۈЗ꘢ty3vM'  ٴQ@9$L |D8:\(lD{hQZ[{C7"VRZ MoW7&'Yko,$u(q^Rx+:@l(Jx]M߰NCqaݟ4(żdvZK$iyNN: -Ma 2#R @ESʖ}hEsH\|U'M wH蕺EwrU^ބMw>>.B|%B?NUpYgw<{Mw7,ǗD &ci)oF)l )oH&)| pb\W&ӶB^E }~K$8@@"]i<~>h)?%~%}t_sq1iʮ#op\W>) +a-1~ˎ*jnfS (T6?cqIمK"xo lN%­rdbftų,JrLNO.R32kJ 'E y#dfFN˖ ?8?BHj°c"nĢ\LFx݆s^B6A~"TdCؤ6ѵ;$h»+0Xqc2+ rH;JMG:8