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 : \ m/ MiniML:threads=2elapsed=10.870cpu=16.704gc=0.540factor=1.547zXZִF! 9]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{SoMAw_v>"[[-mM0-S%'$,q#=ۀO/4YjVš7nSsy "<4l|JaAhZ(#K# btQ U\C!-e[.%P@@]+za{~.wʃ[N]f 8̥pX+%ELhj_>םA_4@˾RmiJҫ:?G{Va͍C-e@ٱ_,+vwNb%^rg ^ea7Cq~ooG=A_GE6.$(Zv]jutGIo_]U)v].XJo iX 6Ψ@gқyAaQJu, |\y?* N8 H1Wcv썜3tj XR].y%36bmHK/;c,,uOT?OQBY89:+]xVU9UZL?$,v1kʫjg`q}k ܘ-X^Y죰V'C~*ky8 ͙ &GIO}OR*r%4`(y_ %$o&9fmvx?.Ih6+s궝=lJh,m~Ly/?LrUA[ f*j0sL-ʓsVB=#ec|1aˡV&9*I*Q RvCZyNfyKbO\VJ0R<^.xG-=`>k+05;?3$6lS1$Hkv9M^x"@&ny~kJoaE"~sw> <`F'l v-Ẹ`j t v -Ale s# gYZ7zXZִF! <]ŗXi%DQ}0/V[灀`p^Vr~:Ra}^?S5|biVt[Ousl S~M&@l&MDFmЀX & :ټP$i=勮nrq3|r h'.c p BOHez 󱈥BB-S"ð2㿹A/`@cOg|3aXqbpz-f1iUl`/HtwaGY:̺ EZAA!G {p VC"E/sDj-&;/}4wf׮.3-LmSON |ʝŵ-b-@AXm핚rW.B6Ā͘5u wVo M3k#.L7֣QB)w9( ;RTwF;}tzQ;dRp=R0 ?*-$<-Me P<G1҂jiX|24"J-kur#dRey)-gYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a07df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56