SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 00M t$l ]w]Routing:threads=4elapsed=12.087cpu=33.136gc=0.912factor=2.747zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uu@G$vӑSRN1$܊d6eeOqBw:dK {ecY1?-drVx|S(2ƶhf N$4hD~ #D .CP7b{[3p,˷,K863uUlLnSR (m6#Hdw KӾ1t3ezdJv:ھ:.jS<[~=ׄj/SM>@ĠȠg9Е0ZI2LSe dh&]BF 3{K8eN l%F~HrR 5sDK (/(K>h/kiJ6MON?m"sw7$r(:6eӃc *Xm/([,0@n\" _~ͱgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLSj`39=P2۔&k0+GgYZ7zXZִF! V ]ŗXi%Ebbm>{d&%#&!̖(ֵ8603bљRb"ƿZ&|iZ?lL.+lV˧AD[:Qzv J ;5xPu3L`>iDj1;N(?f*|dAj4Vf#(jo4SL?Qgdmͦ3S kߣƱEK5]+ t}[~X'IEx?})04%2ح)pɫ~g߫2~lNEW+buLZQqʋ()gQ2P(3bXu8kFb1?/x$נ:QER:f $o҆ x0y}@B6W(KQ0Ğ]cAGu"aAu>8cL3q(;[;A::7(%2<=$eyp3[\SyQ#R烉a?77{5/Uc`ܤ7OwH^-sPua[+U$ ?D-|Ncc xwVDu^v/>kћnGP|6]6={g E#C$'A{lu{<˙ 5ޑ8>9T:k  r`4EsFq`V&-L* {M[kq4 u5 ɩmGAc!z|ؼ;l.sB);ċ:{1b6AyM.\5ն^ՁgB>̖-Y2-^0AẂTw a0/WAV"qV(' !fIϑXگ#x֖@0pe4:5ZF-ct󝾅p\MyT. Iۙ/1 )[uV.7MTϢPUz륳'#zn榭7Q548`p+'v i <B5xLg#DnjLg#QTzYGl5E dZP;,@t*7 cϺ|n /%}6Et͗}|l1ruw4I*[;qCjx`7HK;HwR-3bWDC qJ gYZ00c42d8a65227d1df5f7775a724cae86d60ddf67eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 2f732709a157935127ea6979a79cd0ba51778e0e 886f56f998a8e1b7cbacccbfc267148eb95de386 d94cd3f1b5613beb9185614e9098287710a78385 7953aae1811feaf95941cede441dea955de2543a026853179f4f26d5af86328141a410677289d43d   Routing