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  /lT / HOL-Types_To_Sets:threads=2elapsed=1.055cpu=1.664gc=0.000factor=1.587zXZִF! .]ŗXf1-q恈'+]&e}0mz_V;vfbvaKˡ?n:d]p ́¡}aooD#—{`y1pÑDu / HOL-Types_To_Setszo,JHaAوAlNַ%Zi$q`lf0!{/>.+ui9[fmVSC PNW0{rf!(rKRrM0q2-" l%wz=DZgYZ7zXZִF! c]ŗXi%B)h9fBR.±ՊDш2DJUP~'Qa=LCSsa-:wK*,MA~ɈixԽ!?@g/ }ٚ\#R)~Ǵygf ݛdo|cj;xxY38x- MCm|v3s}6hK0\ҼQe\l{0 R~YR_ fm`5BRֿCF3nrkm&[+dXM'^3+f{72Hڧ>m8vův\ktP$CI(4$e\9 1IgYZ329fa7e8f61a08ff01e37f2938689d344ed0f5cf 3d25c66814292285c616395bfb17b2d602aed3b5 496d8277a7f2716fa08668c3e7ecddfad8ebb95e 797477902c2504b4a2e2a1dc7c289a6d4971d165 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 f82d3b244f15f3b4829fd75e899ab0647ef25bb50dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903