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  # l D ]S]KAT_and_DRA:threads=4elapsed=30.551cpu=93.896gc=2.588factor=3.077zXZִF! 7 /]ŗXf[&' ;/GOg$tt~ng!U!W<v?Rh`BY @ƉvMX |DJu#3٤b)ywĜ"Oe|_+ڢKZbZ6{4*Ow[wbLyESW(HkƛkOnn*`j{y!7- ճ8ѝ:q a)=E>6*Jg$%K/&کf?4n9F4?eЍt^?UhLjG6wXO r V:8^ ZnP,,? (:qUW$ˣ9  N|RYA4XE婡t} ϻtkL͜5[O#ח&D(.4 )Nb+$?-=WA5&A5J? 㨴}l|}]-܉d:Wna=$`B',_#bPoZ|;/3۬Èjep@ oCOW~V[3oYk4^ut#AO1@c ,lDV:Vk#́~)fMR#S!?nһIH}һf_ `h%92YV'K$#4aQo؄d1sˏ͉M'BVC%cޙ:h9˅ k}a`&+͔I@wx5RU Vҝ.S&\|p߬1*ĘrXkWFN~#5փ1EߡMy #lSi=RK6c#Um'AD5cߩCrZ!S0ux # KAT_and_DRA  Z?n"!MCHAW|QD7T.obރ7Bl" >ha8Q~) Y߄ MI ߐ.$$.Otg9zU(.PM vld\}OǢV#/Te `AoFG 8{[ؙL\7gKnݍu\Jh:,`\x:@CCfnt7isyW 1nL{z[."XA.nh͚؉ު:EU PM 4/Y\NdF_<ι#ZlȢ\6K%EĀ9 1 >7ALcl>X'B=*-'T1GpW͇Ǔ6 /?*o]O|Q1,lz pVc?|TfgMdOۋ`đ:73>21`__Jrg, G]Ӆ ࠔ7jQ׸c}G+ E O^ۇKR#+ Dr 5@Ŷ ZăNCɦ$%6yw? 96l`VsSᦈ#dmVS -ؐ2FuLGΨ2 T-`pd2/ Υw&Fd75ʸIzYIU?JԋR6vAǽH,\?{ RōSs+Zٝ W@L~;%{-7dj:Q4Cw=t+'c> zN2.e Psbl #ìbgWDӛҨݓhx-ZZEs$g4FjJ'IN'HK>cd3 R;:N<,>ޯO܊%[??&dh©LIhE|)2u(Kj^܋~@2G^V ,dZ&1lX&`πNޱ'&O3(o},}|7m< qjޕ\cE*)h骫J,p4'fUL&< &jfZ^qKH#`y:léz17PUM`6@;S̵{Nř%>j)BYнWYV3{<[su%577;t$r mJJ$V7Fu 0 s~nJWD 7Dʭdأ83Y's#9N:Y3@dgZtGiyxoy2:lAL>ΨVWhkt{{>#畄ZQ2*=#V vz7 2)mw)w.2#_l)8];bȎOx= 1W}/Yԑvc_ɗڱ$ Q(rϨ/U ѨO=y'xfEo~U}qY)ȡU>rSLOzrS9g)4 Xi8wJt$pC9{ѸHZmvDIdm[h]QL(o/2j =z]R&&a~Qq޴D@#Z2̈́^"8-h|(a!WFMlIk #\ܓm#??usf:q|?i0j)~! Eq*G02mG4"K!ac<  $* [XȜLQtеEWϙІ_4@R !5^e=)8NޤzLݝx1&"-M:[TWaROee'!ZR5yMSCH#nzI1`@:eOi90S0ej,l!h֟чuB/LAK֋r&GeJ0 v'