SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info KO\< /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.928cpu=3.856gc=0.144factor=2.007zXZִF! h]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk`v,jI߰-)_FDFc|Vo&,'B &h&e 0Dw G8(\RybDmXe $O HOL-Nonstandard_Analysis-Examples&_T%2ɒaQnCfX_W8봫(bx~5Ob6a;${8H  s^q قRN5x B형DzlGSHWʊLHNIPX{'Vwff5Λo08@UB!G@{`Bu˓p_I{=/KQJay} Ϳ UU6aڥAF-k]{*,e1)_Vgޔk-NBf(62auVdÒ-|]-Ğ5bj& 6=Ù3 e4'c&tɇ)qc4GmGGq  ϸڳgYZ15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf73565184b05897a4e5ae4400e7723d5bfc04b7d5686132 71bc61cf0cc10d60c06669ab75bc1f1091e09150 c0d39896a076433d36c9c1746a05e02730e1d89d 1b684ac7933bfe769ea799251ac16f06089bf6a3 5cb3101edf8b59a5f885f4fd311f0abcc2bcebb9