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  r' d ]%]Sepref_Prereq:threads=2elapsed=56.651cpu=70.292gc=4.172factor=1.247zXZִF! 7fF]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_Jd'#nG闓M0htWBQs]A;߰o`1fO۷?Ss7XpL0h]gL|{^ XY>5} hE{^\0FYo5EcJH\UJ=U;؅~٢8_\oC7`u?(5v+VD<VT6kSi52TKϫ 93Ij:sH(xTRsaq?A6HDUHu8ތ7_l#4O0Ւ!c;t+2Ha=#_xg:[@p90:WK{ &>oN~∘7))33|v-za͔X@aނ-\xv5OЬf#\-ߧk~$ݼ(LRT,CؿQZI_lviATb{-ղ>1ؐd a6\s`D'3`+xhZiYL{A4xG*S"%Z^UzZĞ]x5bNB駏}!;ͼ/y*P8T/)FzY wO!cxT#r%N4 /_ik3f)4(y%A#p[Z/1K9u$b%9+Rl|4{n&0H:ӊk%FuI&ȃ4Ft6/M6^0DZ =f "'LbT9/J WRLs.84\}(Σy:R0g$#ni¸(btRZͳAmxpu1c+n\GVnl:GsоP~ʝM2K,Z ig y%SlAVLRkdY]fO u@8 81` =)ͦv8SOB$M菊(CƇ0<xH5-cYq |0?47 >ׇ-g=- hwP&7e3 8yzp868LQBDuxb6b@bn"UT@.٪6o4o::޸ZZ{3wwʗ0|ޓndns1u1&dEZZׯi?uHW<޾a*?X7{/߃\/_p <&(Zg`7>3?샴kˋrŇYT;0;}3ĖIi4dOӊGE^j+!ՂT]d˛Q|KR}G땈k4rﹲ{>xJ'g M>_QJ"KkLf!rX5 %kG!F5QGw\&b': ]Չމ\Xum2J:]6憄'Ooy@=XLs?@mJYK2ruEX$-Zqi=3kvW$xK@P*ͤ>sy^p$Ej~!%Ẃ8m4byhReXv !-̀E59d9OLws&(WRD`"QԶ]zBJ#Vx9E=i}.sq_S0]urT-'5jp|t6):oK)!!uӤumӹ$0l tP\Ƞ&Tł?#@IMyd yZ% TTBZc|O--$S=NvcNT3EzCBT)g\0Y K9p85j*r@YN31 N)eqKOړzZw9;oSt*uz`1+ZX^`W旦;LUEqFЙ׷֍bs=o]%9qlZR`ω# @~2.V.HG1ջ@@8컱 V +7|dQkL .BOU`2K&sKpN{pmw?;L*#.'v, 8HGl <}?a*82ˈ}sd~\ p~x [ә{@k@2F]<B.5vNx^M\՝ag`'X vjk+7C2C0~XѲpG2ƪBӵ:_ܦ]nܧ8(ӄ`܏Ԝ+D5n&)Hg +:I`ťQ}#.ׯg;\4N?K{%CT`A?kv;%j$qGfhz^lf`BỴ{h$ pb`~SHoG1IQ =K ȇ?^YZr@lc*'h} -{EJ\}pXPNu埼ww*-vAۡLNuk/ݐlyF6iw=Yv:1+B5ur@꼑F|݀0ל<-hU^K'% ڕm{ a0}2W-M-SK&+[l;=Y zV_ *ܜSKl-4jd߷ιk̘:Hwބash\LCTO@0LSuCҎm%󏱎IԐ8oxR{y 拪7N D4  hXew87z2E52= Dqly챞'(S,fwgevskNXũqSФ#\96JtbK0?#