SQLite format 3@ . BBh77otableisabelle_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  + <t ]/ Binomial-Queues:threads=2elapsed=6.380cpu=10.980gc=0.524factor=1.727zXZִF! ]ŗXf1-/6vRZkc- R0vP< Y8^j߅_c< v&q&Icb$(nO^ijOh 0NUkPP!V;%Au$UJM?jC(f@դN0KѶ0\JPݦNFNS 1=KE.pZ=n ӡzIxƉb 33<ڠ_R'gFO9gYZ7zXZִF! |]ŗXiɟ:Jc6Gx&?==Q7#ɱ$ 8-F39aT\t`_JZ ]s٦ѩH7X2_8ds%lnGS00b6gYZ7zXZִF! '1]ŗXi%9#qzq24$?צqM{ Ko:ө($_P61uLǬ%3",׉\QGvwjXθ l g Euǡ ʫ$)Ql4M&Lҽ'Cn/sa# XF„8\I~К]"C@l( 7nup@]O=HE'w+I$kՊb-KU:5$z!A?`z!򻠿2yawOsZEn^O?_6օAV>4an5Z Lk VkR@6G{ut+R3rhftSl`*%VR6J{كg o ֲ͕Zc=;\(S>9J~zżGx쏥zؠUgֆHSݶGMiIhg5%HEja(L|iՆu9ȢB;oJ`$pO0WɱgYZ003f2052df6ca93ba8373ad0ca053f7ce693b8348ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a + Binomial-Queues