SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 o7 \T ]/ Weight_Balanced_Trees:threads=2elapsed=19.948cpu=37.036gc=1.604factor=1.867zXZִF! b]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxcٰ6mz0Onm yհ%;Nohl;7ZiN{Ńewu_Q£C$ˈyD=-$.W{2I0~_UyH( [׉'UeCu7U=uMBV^g8a2AK鹩/j|Z] o̔"S D_0@yrUw_͚h]JFX;H1Ca|0Ǯ@j~X뵌)EA^Hl싱@J2AHkIG`eTkEL[GٸQ6n(pJ,6 v+tT(&m+k**u߇)~Qq{~6֞i=m@ڐn14G=gYZ7zXZִF! V]ŗXiɟ㶱4ܵSęҸ?c-;#:lH>lkw6e~/&ƣH_PZQ8`W,:.-m] +-(={ۿ; ͢)y~lb}q@.F@QālwJ֏,sEPikG'Y4}w?6-f0,l͆{Rmt){w zU;BDwPi Z~#x#q'K]/ ˴>z< @>ޑºKT:Z9g&ܠRv>RC?}r.Nr83ܺGީј?&pp㛺uW?MC&&c~ۚ8぀Pf45qDw"z~T:>?"€ԤAoeCc&q>\R\,e "KWWoMOT5I08U}TǼKwA!ӭ۸o_6g.QbT3D[qT14m/vgEupuF)S%w#F0ᡐEN2y4)dc> d"7my*lw42LQu6­Ȭj( [=oxz!u儣K`053^?rBn]bP&k%UQկRSM4(poM3Υlȝ dd!꧘aC%w !y%H[(l}LJf) c,օ)Sn<B>87Pië kkxúXrmSe9&_<1ss+ <&̔^ҥ) Œ7D-O[܂m >= mwvwߢSr(\E{!A_Cz ~ʇ~Tkw`Da[W*EVPI/;z#=O "/?D-FW.~F;S*}"SOgIbG]ycg{% Yl{8cUh=q `{