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 p% 4 w/ VolpanoSmith:threads=2elapsed=9.155cpu=16.164gc=0.636factor=1.777zXZִF! ']ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhquy҄?3m ! ]%1pZ8V̿._͡0u%nMι|GlUqże`f|PoN[)ᩝ:wLj5rH?+o  v"ɄD % VolpanoSmith#.K[KxYw=[}DNBN 7ecBHD3dVj$>y5hYu%)GvI>|yMaUQ%z@Xd؍HZy%`j8~΅ikּ8!ZZU_{m?5@#ď\9uV ,:<V%j?AD= x7F_?@3Yx/%{TrPOL>zcҡ9!ubjyf+ĪCvM=K PDôh}%y)Tw^Q\6N^gYZ7zXZִF! 5]ŗXi% NK42jDGa9:\x/lgԆ*֫kFzhDNQu-6`YrWaQ"JqΈբfelo'9A5g D5s/>+=Y1kn屒Nj)P""_YOIal%z ڴi - C&e&nh}gkA~BgYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7a3b19e2d6f7d46158c1d7c7f816177889e9ecea 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b23b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd