SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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$t ]w]Routing:threads=8elapsed=9.202cpu=25.603gc=0.835factor=2.787zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X +#l2tc`H%D.'z yfl kz]:ܺ`T~ˮg33EoۉqՔo 'ޘ$AE䃺.2h/Qrzͦ]EC^)΅)\?Py<,ZՐ7X~Rdj<_#"լI4Yg[ DW{v}Vk,2KK Jpƪ"k%*84NR_Mhd9纨Ć>sEexI'')n_+]^~0_t׷33OԚ=N䂻oPNI#,DB9_VԲsAm|>o2X.EɥdMt;rӀsdo:OyeZՠBkoQm +QKsVmoܓ\F2.4ǀYdB7碖W(H5w2&)mK}j5ĢڠwYlV}]9VUa 'cRt^*V LzkA'rI9ht gZ!Y_-}$V w*kf~GEZY=]w/s. n1aρ*(, J0=A{RڇT+ #{ -i^04.>U'YPv [9:{V m87hIM]=G11`ȑLsrC(> -F$$h)W.z={y4+TB꛸D4Ce$kC/PWU@6@nXU.|UWS˘`h1 ')$ٳ9uRb7& x%,r so gYZa7be7088d53ad32ff7a1aa6b2efc0ec902e6cc6844ccf15d3cabf1d8cc27d7af9fe5646307c6887b e18ba4743cb52871247a2781b1eee86c87e47f56 9f9ec9a9eb179d538c37c71e17f171e5a289c4c2 cc539d4138f1c39b11ad6a4de07a81df2894ed5d 662ac5e43f8c957e1b52cb1799a4200a7d1e11ef a3c9649e2c5e98c2ddcda49970a8745e66644c21311832d16726f89668aa7d40132b7e36542f3811   Routing