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 UU $ S/ AVL-Trees:threads=2elapsed=18.689cpu=37.036gc=0.832factor=1.987zXZִF! 2HI]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z6 /QY_yCۏ/hptd7`TfOvF;pdV 5uv؜тѭ*t%J_JӇL*8|F mک7d5R=~g6,ja(QrUb3.] 5ۭb =ierIjY?s)S\LN 4U5Csd"vFu2Tk^w5ݹ:Ё X>SfFA~ caJƢtӔz_#nVp(h̉XI${9햁%_݉~TNxdJ2\@5tvX|6Eȯ#|P N@Q ڞ:3؍ ZkI!H ۠l\SϫemzP K6ڴk=IAod[ -es<~?aů]Ktu9@I S/+rB,jgR@s0PX6jg( asCr?#W/̰|"\sk%Rruxߗ:)df:7e-ߢ=c15,BslUT<V)CsMݓrd]7gYZ7zXZִF! `u]ŗXi%?6"!{`.ϭ5;Tty]Z~]d1gXq ^߈Ȩ kkn@Y}S>N# rT``/<3 8ӸXow3F[(:H,zLS:e˔dDž| ϬfUC\WB)߱)0/)]ݝ&a hڀ0ٓEXKG>Q؆FT/׉f4ȮWЪXkYH ̆(ٞ;qeIӌ3Yc >Rpl۱=W*"]4^䕛h,O }}3~ti<"KA%}[ko+CD^>-D)eth~1,,M9^/KcM谓Ů%4,0Eƒe^pU7A-i~(,LqYk;-|˷WV>Q_` [.& SNС9u;x=fR9+U6:=|`,5HqVeNjp& m8Thyb`i;t+zR] h&RfRR+cB@Tpĸ6颙Q s1(<7uR+і:7&s7JqJmAcWb7=:d6l!̼M8w AìXs#w,O'g4&8-vZJ&K2Uwat"66#= Q!ț86c3uۂ&OÑaz*\TrYQ') .ӻp ʔ<" efZ V'1rZ%p¨OO畄sw0nsWje מn#:`ޟͰ2Z)ɟSX () j v`hfQNWR"<3] naS~١(l:S V5pQX: n *iNM[SueO0M#)0i:6ẔV$Ԝ'X=Tΰ,ᔅCnaݸ.6b<(}P2GHhs΢Mh\ug9(z8+hg9* W[P9b,.lde (}Zr/Ȁ%l~0wPZcpV3u5 .7=Eå$ ;1|mHޚU"6I#Z0%;B\"+۹kgu+yBα3[$ƚ% EluMgԲPτV7L2q荖i'8-eDBTn s1HN{,+} X gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff 8d93ac94556ee3dbfc3fc6d874b4bbbe5d35a053 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962a878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449