SQLite format 3 @ - l l B77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info | | iDtw% Fermat3_4:threads=2elapsed=24.077cpu=49.896gc=0.872factor=2.077zXZ ִF ! z ] ŗXf1-/6vRZ9Es˒<=JT!u$:Ƅ/fB?h\{#QWn,6ռP<^-R3.8Fae
[l kOWz]s-P +\(OػQ}TaH{ju<еs !k=50xp2Z?Ťau"}Gٌ8+ FGSh36Gr Tp:U!TWGۦzyb^9CwlpL pJg>cn2!ޒkbt!5(AȠ 8=sa0Ëb1 ()2!,ȟah7K!-$j0nA d[=~Q[J|M #L6Y%F}3\Ot?g52wV?I}* !O ֡wDD|alQ٫ͧWcr6o(XW