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 g' T ] HOL-Matrix_LP:threads=4elapsed=7.221cpu=27.368gc=0.928factor=3.797zXZִF! I]ŗXf1-q恈{RI $ϭ N/Xtt5سD gB=/>vh1aZvdzp7v2v:OcoFϞ=SoCLmVBE0Kzp u 2I("LВNjclm-veH5.b3 "B\GDV(Q-}ln\|n=~GSx޵]I<Ҟb6M?vo_/8׎æh̦OW{ 'icYT aZh{ܿC^]G Ch `bvBc,n#D&wus{ë? >sKNCJ1iY1r떫[}V2TEM~K zQɟyx|;D1pci_t]5!gYZ7zXZִF! c]ŗXiɟ1#vX@;- ̕^EĿP>Q^,IzL#B߄ߵ1',q2HKԮ$ OM&kc 3F#ŋ_wM/S+Yh$n8WY`YR=Itp N_<돺?DpW3HW 04an 6xҦO<,\F9=z~EW9gYZ7zXZִF! @=]ŗXi%Bt02 o%AU _~x,>eٙAkD_'Lp%3ǁ_)>s>sN[.$h ~+aL׾xhmo-Q%Q:Us\yx*Z}8yAʣzb?+?&WAR㐌ِz MQMč*ˋ0.*qΎ#g2U/h供ܐ܄-4ȁEL=q.i,\q;'d`^E_syE~T`# - ? eٓ 9 n T/"ۧ%b/JҲ5 vjO1(T2IV}/}Y 6֝\ ] v׎WX>U-:>b4CƈX8]u 8}&'Ij mA5rGgE%o׫6NƯ$DI^ý&րo ^6P& 0?T4\A쀋dW4 QXna&v-12ȹ]] +~XN xw~/xL=$ߌ=܎sxi `犟`&2*B{d"|J⥊U mepͮm#x6I!v'D_ANJGm' ]ziM9}୎pꘗb~Ɠm#0ao %*~[}~1FeӲV׎pfB W x/K_azgm%A[ut5