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   o5tD ]% Aggregation_Algebras:threads=4elapsed=101.805cpu=189.916gc=6.068factor=1.877zXZִF! nD]ŗXf[&*ٳ~yX1=H@(3;WbJn))x%|xNY1ԜefkOԬG T:Ц!Y{/Xqn4۔S2#_BnlcC쳞|oM*Ijlcm3~{#[EʠﯻA1%uV*B0(mU ұӦRm(M_ѫD?vĤ@H"UCIj%r |BN*T' (F c#F&hUנDz[7 %.`1Xz 0jNF b#֔2ZW/!zB]7E OJmY\_v,-{gABϒLyz_(o*RϓNsDR3R߁jT@7//4 vE>M77ҽ6ߏK1 ݍ A1՞;.©lkZbD]^:dn],lJMv ;iO"*Nvg ^e׍͑@SCO <'})F&jۖP5R:'^8dWQv:U!6)dENh0ܢPyԢQm[ @aRuB8XQþ$xz(wD|FxT';qpR'u! Y,!;F}/h䱐1,5rV2baHNfԯ⸎N֕L`h |Ol&7(R LT_V'R4,9ۧ}A,loz~kV-oOs.7fx5!Kҋ(\|>(*u#F| xhIFӖAJ) `XPϛz1#RM~Qs5'&*x#+"hI{@V R> .\PU6ǓwO!R?Zv2nQ`ȏYd}]b:wX И+{pEt\}"SfA#!;i\T( !':R 3UkOCϱgYZ7zXZִF! L]ŗXi%ES3S8׷aU3P}O 'ZƽzX"LMʿuJfW|F&xp6<T0lh"*C&Ym$FJ7z qJV?8k@S(Gt)yX4iMioؗA헨$(C6> ]R7!/>cwŠFmL6G,7.~ِ̡Q`~үvDBԧcM);$2늃~!¥%iH_Sٷ؎ &E^7c2Z[oP(ΐ2 X L"IVTtQܑzM%W[/BD~c0hwuc$ȆD˜c2^}%s`<_)4j@Jͱ'zN+Y}n77 KSneo4ldlPtA./ϣôD +ugnC)v !;>zΖ胕|FL6f7 ٵ%Իmqu*I./bY&vw] N-жIN!FO!akDٿDpG9Q\s-.dxp<:Xϝ?WAr0 %@<_g{wBHB&vvfC-/I-%*}4:0; 2`H2"OkFiVz=z/ɁPN8Bq>m'Q .@23$Go)u0ύ^H>rJ tMO0$DBNݖbpFgn|KYD/ըVQRq,x j2 {~psAwv#urړѭp$ݮ,R@|.r#ת'kCW|aHP1/2]DVŏ#?5?}n"|t cAgY Agm'>߀]]4S2e&tC񑣩rispQ9N}u8wh&C˚ۤ9Zpu%Z7 qgX_a1$Hb鋨PLK/郚fDI.uJC>O BQ0żEyU?Ÿ6`|*XL3 _X6yC`Nt/!%mV݁i$ !YEBZx U6i_tB/N/-M6ɴuqIV*OV.3zqjp$Xk=R+u5.m=a{y1V)JD;O!'UmUZg Cppa\)] dt1K.HsU2FݨTIIkD=c JqF߶Myt&ڗFc} pӉdjGHkztt: Ԇݱ˘w`&ѧXbz? U':)b@Ql L' ={eZΩWm⢨K2]i\F ؋8N6Boiw{J,e'O ]ƂZ3=!9ޏɧu{KD[U4:PB\ vcrSXvZ+9qifayɺaJŜs-+e_/p> -Ixf"%4u|@H9_~[`TU5N"p.{f^? $u@8q;rN>R+/3FDeG0h/3~0L,ec<9 )q= ܸL3k4nNRf"K2ڋ(tMJp-/EKyy^UJwܡq0c|83//<@c}$|J쨜?ۡ8ۓPSdh3!\6f;󭌟@-vw3ruxX#Fmzx"gyɦs)g{vKgKl$ӔMl (N5TAajMHH`RlC'{"ֹ #=Q#ī2|}ST,טd>1 !4Ԕ( =G4$,2RV?9EÅAצ& )LGUfڐ1EKX%Nhrh+o $(wߓ[S"UB41K]%Osw8h-Ө!PbT'P њv WCA\p2ɴ!p)̲^uv@G;tq0P&Y @3ԨܘVod5 /x9ew0kR8G(|fۏ[Dr88ij8 &⣓A^8L8$|.xxF/l#>F.K#mlFd銞~&Ǒ}?5S8rBr|Tגdr%yFEG_,(&1w0%H%JVϿY )'eo ,.N[䌡FjeLI)z*(Iǀ4F|$-/0=Tn] iǙ~3]׽*i߅pIHQ0v!}2m$6N0qORT$r'm~g&-}[ hȹ$ 6TT^ٜ $z1#VնUT ]f1U4SEdIEK+ /A;&G<@7`T5ϳc;K1FJ~'Z;nEHg,IFZ~  zVO5nF?BP+'sLo)_`hx &Eߒɔ彷03<ɶXx\E%{7pkʼn" 7+d{7CȈZ 1SD÷gK