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 ,' 4, ] Myhill-Nerode:threads=2elapsed=34.215cpu=58.452gc=2.616factor=1.717zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫff6 :ޯ4 ̶截=1{R ׀#jx|znvj4-vFF2+oq͞UB| V`\Ō8KF̂0wk];])T_m0h?q"ks5~2'|<9p`}R cql(+J[]ȃHDAۀ~}:ɺr;-q"o;%rrbS$k0̋kkX#P" #*>]Y9g|%]{i^ Q9KIu.F#-żbCu6* *'ӗX=I6+ ՟Wέ H䵐 D \I_7}| ASp[IêѪHG6w< >3@>w <.N6 \j|әlY9$=Č(5EűgYZ7zXZִF! N]ŗXiɟCrhi^IxDY?Av|3s8Mi0^sN1"<*~$ VkWq TtQf3_'f?ֆ.fق>۝oO0v4pOO#>*"Qb| ]%0;ޥCe673mq͒_::/P]Q~Lʼn&S1BFsTP3~N$\%~ji )D6shpt[B%R]k`[\?ɽrg}ew/n+ F1^ŚrgB_z@39$cvKF$EA2Tk@C i%f1=&l~AlJ\U=]jt`(5^I5h!$궁ՈQxչ[3ָSB07GTcR lnfC1bd-qYx,U5 ݰp4[m!~pIuE@ѿ43SDsX^i?~-\'n=nQ i?haF#} ݚA0!8 |𿠈o'ǹN(L _(VbfRx5l Բ-rUQ,Ӧ-;?CV ST6HڻoL??h2]qp&{2³;dL0ٙj3wQ,uܥebiuCꀚC `A@[J@} wbf<0'ynKK"eRP:4 Hh,&{#;j(۝-.W[f3LړX0wRX̬DzdQXgFM b5dƴ(WXJWЛM08'$0ЯeȍyD #Y{;lXg!͡;,@gr1`}_vs+ X*R P'#$Sh$N|1r[t/Ȭ~E1xSU¹T3ϣ#Z.s֊yY /Ai e`4CrDˋp( `Hz  E#\yDpa<IJv^(ǮevWn|Д=KiGg!Jճix80o[y.LzUWuœ/:zOx;7Jp231pP6 {96)ܸjO"c+}sIa[ 1?o H|`rvht3Oe!]߯hKMR4S'f) } 4}yϾvDAφuqEyJ/BYBߦo\_*Tzx?gMc\\L/8Da>oqw[r  >vWjR(mX6R ~* "OeBJZ>HX㣵M1MMPU&V{Zy˼. ^F-/DRGnO-! <9ц;5fѷZ &ٌK)`|輇}zcoHGqvF) ũ!^/]iĊibeyMr_wi9tsi]BfE>f/J"[,so*0w%5Ty+7̴t6`,'YZ48 rB.zmKZ(49ߗݤ*%=;s\ӕX$i %Ώ0ni`='-hyk, 2J!(H(U]G085c;lL-=sû@EXi c;,LPRJl|嶬-F"}AэYQR/@ڈ#ܧOn lin+(sʻu Is`S-Mr5|^~ЩνtN/[ۅT0*6Jsi!67=xҬ_OCurFVȂt@bx;&dS0{p) -lb>7K&I#ćY$EF#jfpw/3|7dRYuE EP9LWM:]o (&KHKI^SPA8Ƙ|hAc6餌U=Mnir"i c5$1?Ճ! Chb .Z~1koLI .rwnqSc{Ƥ X/a=ݺ&8@kcҀ)j?#XC&^CEAx?KnW)$-)zSc듶-@C9qa"lVݠ\9vX˛I✋^_+ `D<ݓM-ǏUTtAN~H;b׼KW` O"ġNk`9Q k`>Ow[3FƱgYZ2aede2ee9ef1d2817aa39e71e26f8ffb2bd76bf3a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff