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 b/Dt  HOL-Word-Examples:threads=2elapsed=1.830cpu=3.460gc=0.068factor=1.897zXZִF! Y]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@W Rq,LJkX,||S7iq!ufx_$5,T#8)G鏮pzeUlD>Hv~]`0p-u|l*7H8\LvMk VVӨuW / HOL-Word-Examplesv1AA?E+s;ߟU;/.FmF+; >j.e/31Pa. LrE@s)E&4}ՈY/'CJHvmZ}-bdWJF猒tU׆ # oB@;\asC$BR`o բz8ƩnL$\0_gYZ10b1d5b3daabb4f7851a03597ffaef0493d96daa 2d4eafc74c6b9a723cabb48511a1a0822374624c a0b57905feea38e409b2c1c5f2a51f1639d737f630107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 99a61c0cbeb36b937e9d1eafb938c9fb182dd161