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   p L ]/ Menger:threads=2elapsed=10.899cpu=19.640gc=0.704factor=1.807zXZִF!  ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC.I'Lv׍G ySek\[ENĸѪG׭pPWmovsufs `x"u|x9?K7 [ixS7SqK u gK gqeϴ퓄󬵯7qApf _u"j?yy56u;ĐBs&Q,4c?ͩI=bxySʀ7Xn(P0>m_*. hHZX3?e $k42 @17&5D|*t5}Nĥz Z_כxwel|4a|1AXzP 9lŽUO0:~ y&+;3eHiކA',!ܪl~(H>&5Lq0V rz}e4(_nƏS##FFLJv` &͸!4$s Fd۽' 3g&n(\+Mu,%9y=yXiJ*eZ70mgTSʍâ%1f&j?n'Y;<U! q-?tUJRcW@O[7. nǹ;"?LGQڳJ _H-g;QÎC:W`6O)h֡9$*RY WH7X80O/J~AmVÆE 0|y%<m(m],lX_x4'; (\IM{_<\Zr;@H~Y\MUF ڻ3JZ O CEEGaZj*HYU,v4Rh0jFV_R$ ,pcፌ\<#|=w&z :lWtS^#:nny[9 8 um(tw=\{8T&-튝e_lp eou-n}ٗ!ml+9tj+D(&e ku}v0㛹u8#".ȳ34I]|8z0(A_ܬd݃*|x4BFi*D}ƿ+O}+rf6 (T.^Dw \r)?3kZ? fvL'5\%`B)VrЗb$xA΢ ](8T IGPL@ΰEV\#Kfsr-X(f ~ggYZ8e11855d8a7ac47553ee995913ae67bbc16881b0d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad   Menger