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 @% < % Stern_Brocot:threads=2elapsed=39.171cpu=59.832gc=3.568factor=1.537zXZִF! @]ŗXf1-q恈͐7ӺV 1̙ GMji  " ֟kR9}NֺES#Ð;oYQ\ŭݾ <6_J /WPDaL4IDKB! LQu%WVUwrx8Vr%s@ݯqʴG6fC)TZe. \ʹ/cU; 2p>j{n6˟EDt?9dpS|> 3xq/ru"2^>þE1rƲX3F| &c^Id( k % Stern_BrocotS4wRXZEvy e&S]v;'_[D5:tpL)>I0~ADGx\aTE&1зj _3Wl62$V}CPu Qܘ?55m#˲Σ^s{Q݆ٶK* s]V/xaNۮ_5Pwf\&f;Uu!cH{3`ݭtP&f &bv:u͑t9tpN"hsK#TDP8 B&*T_-(Už1>Aw\l$Y[;LcuKy?w,e&.,H0Z)A JI R^ɢ yLފN?4&f6@6(XN;(W+߱*l$h%; ,Btdsר})v"LiY`7b \Oww }gYZ7zXZִF! ]ŗXi%B׆;~&52YĶodh7nԉ8{vwRwxu+ T G/1+D- P>(7{dzL?Mv;/)zU(7ϳ|xu*!2ߖ~Pbx"n'C-Z3'o>}33L~>D@ 멹_JVP<ASG;Y̊ ;TXuj)E%kl3ȉ7V:7fN0r CQtό22LR a f$WQS[~9B/ƾ0tmUEy4R60sjQ}]$Ifj NA}]5BKvʔA4qKu5iX 7ݭRN2PWY9mEYI݆vÁHԭSq6Y&)ڐK9v im׭>p$'hڼ*(AƱyC10Lhuc -)u>Kw౓> X߿Ȳ};eFѶm%ݵfd(&IqĮ!Pk9I0R&7\@M@ ;1$FL 3-m,)(L9C|M-\)F^qd-DEsaX fgKSQUr aP1'WY#l[n8QU)23siLCrc9+U*BX^!Q U_BbAMlZ6 2D&\Ӧﲌ`ӊ\da$(wP2? h?`N *{pf}T 5fWz(alѱk6󀺮88>_i 4|D_M 2 !C;$%u }_]0&IlN]xl#q|)J#|ǩV:NL)䁈ǻڃݿ(6|H`r$#=AhM??AR?8:>&r?l;o+ Jj2N ɠEۉbs,z+ups-VQIqwU9hUyЋkr I j!&֓I6k2Up~4ŕ_.=eNcNZx|.j[ooN':@v |}G^ {Zl- SPL:^~~+%eJUEEy Lx+2RC-ZeDžd~];ɉVFw]F MmN j7gYZ08dcd33b809d35f76c388775d50a39e5f8b7e27d 1d674607b47b0e5fddbe94207659c2ad64bba092 345733401f52a910d8dadb57e7e63432afb912ce 513effd0b9a67d2a2e9ba2830d3ad6f26b4aeb81 5a8bf46f142fabbc62d8f177806670fdb6d4c2f2 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b004bec88faa3c7d786fcf116279519116b87a63 b048c4c894ba192ff4495d01de6dd39d08a420aa cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 cca035523dddb33f6c1096c40433b20f796d9748 d419a2f7542de8b3837a1e8dc193b025a1b909b2 d4a7c808b5209d986d7d6f6b5f43b3451099554d edb134994f175a0bc4e2c1336ad67621ac540f1d fc7344ff3b0e3dfee6086e358daf3f162204296ed7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 3d4014483414825c400089dffb34dee8f3340d83 8c377789c4498b9dc00d10022048cbd0842c4619