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 L3 4, % Descartes_Sign_Rule:threads=2elapsed=12.829cpu=24.252gc=1.152factor=1.897zXZִF! x]ŗXf1-q恈aldC>14aU]FU鿐7҈m ;_MRlS9|?c>Vzw$!YAN BJhJE:{=<+GP"_^zEզ=EհԔ?yDd qtd->O]6OCp]PYE憷*"^GD|SJZ6_.q?'QAY>M-X!gZ" Ն[%R]26@ 7yU9 S 7*~_NS\,Ț^*gfR> hJ-F_+p\/ri.ӵD9mvxܥ'qiH 6ͤGU1;%>_4 zySo>@r3H5L7S( 7P)΂rj 䞑z[IVc 3 Descartes_Sign_Ruleøc c⼵, _(YQ?Z)9! \j2I,PB|KױQȃ4 n ͷΟUWŅra\)=-^E/z{"Ư+<9'SnFyea ʭX{iͅ痼M1aX_$¶O-f_7=~ JU1qG>Ђ͂lшءp: 6D9֯:XcI1\E/`{m NAq*X POERn$>:_;ϵ\rNcɝxiX3;eC9Dik9 eʡZ2 T &9/XArU "axi@EB](dp*"PvbFfN !e [ b^Gmk:ك3BJKdXJke_1rGh֚t|-hȫ\*QKA  |`G=SFa R߼N3_hOٕi/oq_*cBaZN;ZPzKҐ{4+pHU@Y vQ;.s@AOLehFEE$D%m܄*6et(L>" N9ַE93Eof~a,u$}H! -iXdö2TjcXiL"_N,Xmkpͼ`>|w^cܻPLYTj$ikM#|G#L$2h$}] ڻN0}`⬇Ba:7E8DE'NHINgEgٹmrGe +פG@[bYTMiyM&O>!kީj zU>t !ldu#S=oDHR~-=i)=FKV .(j*3VB=dMs~sM1HrQ6$IJW^l) XYOA\R?"Gc?7L!]˪\ZcRݍ4g. i,tO&OӃsZ e#C~tD]1G!wլQiOɌgs\%F-MPendP61g*LGYE`3>bEԒpA"~^m7Sx,{^LXcmҸ;udet#v%,} nU&ىɒqrҹ;'Q q}NgLtjX{lL>0p}/C4|'TevU.x`o=/sܝO-aD:)`=jȡ(c\z!<.{BsAP`oRJ4(GOLؗ60Z$\Ǿw!M""sqrPUW*ڏtX2e~ _}#ۢ [JUc Pcm))9lCGdf٭fLW}) ܜ8I)_._&+',2+3:fd.Ѥ|Udh%X?sV0"yN8.:% m?9gYZ0791caee842d92fb3623ec7037e72594ed8c7594 72cc4942cce77282ce20b0d84008390339bce3b9 7d711f48cae0c9e177f97ba9a64d6190d4b1df7d b0a80f21b422bcacfce2958e094d48cd6356980c f68dd2ebd26fd0bde22ea7c3a48a88d9580a8fb5d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9