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 ,t4 ]/]Datatypes:threads=4elapsed=67.412cpu=103.460gc=6.984factor=1.537zXZִF! !]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$0qٲ^6dڇ;{_*IP\^]]sR9}JkE/#(9y 9Ng `]U2.BNCSa $n^Y$!f躒4,U0^p9^rkh^_H~y.jϢC+/(lހw =hޚOW%mH_A]cmR//>M)LhM4;@;]UT5UXq;S8AOׁHd/J.ҝoUN7`FFuU =;y?a !)H*F^6?pкe|H<ȯADk"9/K.t_#m_Ⱥ*Ev})SVؠseA2B%Z}d zJuLWK8#ńw%^r X;Wu6Ҏo+ޘ8AqLw -Ωh?"Zdoy4邷H}-Ar(ۦR4d*ZVWt:Y; W=A`27귪g`i1Lq[f1ߦ(3=Wʟu9,3}9=qt TVohzN}uUjs)x}g>w6XAسh#)M1ra Uߦi5=m8buw1+5/@܅OB#j㞗_6[.l xp&B gYZ7zXZִF! ]ŗXiɟ&zLou-~܉HFZ)\rHc!/࿪ R9 ݟCZiˁ+04U_|lx&]O§ q`   Datatypes  8[2xwy3B<<,.<;;M&FOI>\,B]18,8VrZ|,aބ|ã;d Z:ȁJ#л^ۜ3Asz2M4ǽ=9.oPű=x)cUҸ*Q,RR}g?]8r+VRN(wfȖeӴ6]e)Rѿ:ܘפkFͣ=@DSfUrTU.GCrA]`kWS<]dɘL.!U;wx R1s{.Z+%"bӗ^Q^9R,Յz3(o8d *:lh!N ^o>I$[s38mRIiwNn_ ; n`XUz[ooՎm$H7Ľ0ֽ. 0,9ggXH1Ua.8\=gO9Ϲޟd𬕹4%X U~SΎ%%EPGpbI az*hDU{D 4ޱ¬A)e5I]%P;ef6$7Pg$!,~)󥰅> 3vTSM!Cs[@Z<у΅Ί¦G&}ޏlkhqe>TD"ع]&*cmlv(erLTCp>I+y#o]5쮔^2ղ'ܨά ̰fO0 RnݹyfN5l ]dc1n`[ħY{^os\åu3loM2 ' ZuMGq"ʥ؟vc* !Y{E -\q/hUZHuFV%{<٣Ꚋ}MVjj(NyCdJ޵r=jIabԟKbWu&7c}D/m9r¤x nD!#m {>)l-.}xSɼ, ޟ0RZyFZ*=^ޠ`6I) Ӯ?.HQ)e˻4D,|!['a} 8!%VVC+2Nu6Z40|{@$D+0I󸇇e8)8Q'ϪBt O+Ty^5"@+wmc>9y~\sg1ͳrv\v"$L搀g?ҟd|Mm!rR3n!Vִ]{ǣ/<,]!r0 _`q ŧTH]T$Zb<1CbZo1n~Mg%K͠~)%-B *XOxѝUpXJajGr|K;bo^5>8iI!p"7f]6I0Z+jˬ/Dwq)_OZ63=@XGL.`;{f&ų1ޙ(A7Ik6}!Y׭umU~ј)^=10yD E5A)%븛V (nHfRe D)̶n*㹍 Y)\ov&,a4;f&bfX˫)d~#La` 8p[m&qӟo>?\^JH485Uør/\L=ZOWDOi}m63: u(+|Zj>z:`$MzXkɭGFzm٥s}ʃcűE%`(&ijڨw`Tq=C/6+E?`Ă*_uzo <M4XP!'PѹPtkVF2pPhB`a\˜Rn;++pqCwt"Z+#A¸ҧ+_Awd/-9Yp&`Q*6{8+I'Gbߪ K%[iϩ()=KMeM®j)bM010)cʖo4[ߠ eDA1> {ZKp2ø#BU,:hwr$6c7fb6=>xbi: 7׿>ps\Q$ ?m[/Yx 娻!0KƳБ2|,Ftmm%-Z59d'|)_$2BB9-զaP0UsesVR ?