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 [[/|,  HOL-Word-Examples:threads=2elapsed=1.987cpu=3.696gc=0.068factor=1.867zXZִF! ]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@F^yQILvX6cJ9} ]#t,S<&QLWgȃ>;ED5@*$EtW'Y]>6UwrzfģboZ GcuHI9N-ʋݙ~! +`6N)ϳI[4Hx^pwz5Wp=ɖІ / HOL-Word-Examples:z'iѶW*}Hd+${.v$5ߘ6`0Ʈ,DMbGN6͜ҕr!57˪} %gTX6If!-r tT3òH}ǐ=VZģ:޼YAvnŦ+.$vI@\3byDfZ *uW@R}Q`uJhRj%PY gl>ʚoP$to2!8)jGA)bK*LT?72&-N%ۇfu;hIݠ˧LԎd_CF x eBAX#9)~ߙ<[s /u{h>0w4W)GorC0Økï>vή`Y6GŌdN;>{-Sك4xG)$q鎎>/6*b8hBe9u:vCgYZ2d4eafc74c6b9a723cabb48511a1a0822374624c a0b57905feea38e409b2c1c5f2a51f1639d737f6 f5efcb46b0fe1f58ca83839cc36fbd6638a23ebf0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 36d99a8fa33c9059415b6e666ebdf0547ef968cd