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 DD-) 4 m/ Pop_Refinement:threads=2elapsed=9.360cpu=17.296gc=0.700factor=1.857zXZִF! 8y]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg7zn)unLVǞJLu#Z!Zv,F?jԿ|ZUVQueNDm\{D&|M8/4s]U 9Ţ-ь9}sDVvMJyǻx=תRw~)*s;|sߟ)Q/[g#K1欮[7TH ) Pop_RefinementP`GOx4F H>[!ڒiJ`Rk[&5w֩f5`Y/IT"(&#rXe$GL (Oz|h(G: p0͆Mk0;IU+@0Mz' ꬚]+eU0 =K4`@e71ِWXzo&6*ō{x{mZ@SHJ?s!`v&o#Ob_A1 i1nN"T5p0?IB0!Cq|VX-I/>\xCH El@H!nr2?OBze\s;V nR%]Y*Fس{ځT6 D@7C!h⾌_gST6 R :ZdUG%ʤIXA޼cmԽgcN gD#ŧd-z)W|q.,J@@y.#":DfK ^z?Ok!9+T~XЅfX,", ( s.vlK?>GtKfVJ4n qygYZ7zXZִF! 5]ŗXi%Vh҂Rgf]9=BJ.Ow o'~PVF>d%Bć]+GID*rퟁZ'u>jC`OMo&HD/RCo4&pmVw(n wpBXԪ ۛ &_=ϔ%V{pq|TРO)L<aę?p.nq2Bz [s~'AܝԚ ]]甹{4A@%[LvIJG [R垅2C!P96@0bvs/>rV<:rƆ 9ƾU"OM?&i%UR@G,eR N!r$4qs@AK%hJC@f{Mjgrjr=(`!\oR*Z?ٜ?m}O2Lyh[wno 3矿ufW5! q]J[7qӊ*(\hVpդ8]sQ&Z|nC`ܦ "Ð8_% &[IC{TIGߜG;ko(T-6~R_V(JVm5V~J}5ѷW2^eSY9ʯ6DŽ2ci{i$hIkchDr)hsl4L(1^v18n4EZ0$E4gqB۠ix 6ˀ~BC@3.1r%C \ h"Eapy-KJ5 2QieMA!?m|y&IP>/&a~s= c2NN= g!.܅='.%< kNgYZ01091870288c89b07c9a8196906ab1a28f5ce144 0c80d94fb1c53b8f0c0160954bdfb879eb089e18 2d2a991981462407022e9fa67eaf8a93345ed7b6 4215e00a7f2c562e9cd0ce7c35b8ce508895f6c4 7ce7d0fdf02c8c654052b525989e64c818494305 bc4b5798bdf4ea30813f681d2af50b022d03e347 e6ea58e6d038ba77e87df5df5c14ed99ecf86c7e ed118e9d957411af2976259e5705576653febef2 f396d09fe17cc04998f89362bd7930d76b4f153480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b