SQLite format 3@ .  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  ' tLd ] Myhill-Nerode:threads=4elapsed=26.498cpu=74.840gc=2.540factor=2.827zXZִF! 1]ŗXf[&*%5r+=~ȳ*FEUy3V2dff^6Ǵo$ʭNc$cE$:Tȑp򒼐ʛ 'C!<]Ƒ ^nyOVrg~>?BbFl'*h-@{?Ae\y`5anQ./m;/a5p =(ykOY',CY)F=9+>id[}|A(vr(Ҵ ᵞ TgJ'Hbi.|F9 L|~ĚR7H6$S}5Р# د™~THh>e27~FYp0537L#Oq5 t!&T^RH`^Od"7) ($ֶ O=t$SIė=I0 )! V;fbM T#ܗ@NAeRܵ_r LA7 PTly *4luVzQDb,mĄpnNXKI߄>xX]T?q"N@:WV y ' Myhill-Nerode  *9.W=ȿSl4a;CޜPs$NϻӋ.} V8oAžo!R~/ԉE'ulBOD[Ria3bo>f58kD bs)&x3[^>XQ)tp3amc}=|VB>p ,S|;k>;&UQ6n> >&_"cӋ|Pn]aYq;29g^v _n!$ze( @?iF@tnRgws50>B4:eG\ZRy3;X!+O~ك/ B RmV!'XI8kkz_/Wb]W؏`x \u:GbDpj7_3|YLp.2*}3*ҺN"_v6xJ~2 "䭬Zb]uNs{]M tOS4&))҉_& ic`~?.V8jgYZ7zXZִF! - ]ŗXi%Bփf:iT˼զSΔLJ6"! w;dàIk8*9< [dX4b5_W>T~A|7Mqj`Nb 12pMR7z砫ғ'Í=' hd|+=@f'UTΧDi:AWpb4jQ~Y"Gd"\"Xs$#~@K5m㏨($ ^@#LA$. mn=a+1)mgPnC07z43u=/+j~D5b%$ /xIZ%FPj Bɢ5' & $ #\!iW2UM~OiU&G:4QmJGñi EHZAʼ>" 9M$`nL;-+yF :\In"%qt^>x@g]wF iQv6Pf$T4w}qMFCnGr@a@Q/YT'o$"?뀞zֶ#Dj* _bG0HcUJ 8ϡ&C:1 YqFc(,S7> Q|ޤt(ko5*4kSW)3){ȭF] Zs|U YώC萢xvTTFhbb?!NS),V@uC+k-pe:$aoֵSr#m++:!՝kaϾQ!qf*xw/m:DaI_%|p.0Gu^uBMq=,\՟.ivu( дТчGPEш^&7/R_nG86hŌ¶1y?o 7&U%x4[?9o(Q.CA?拱Wu"ʊ3yzK ;RK'lDMyK"WuDn\yuFWH_/B_6׏ɐDN4FX=_֖`.L&+j``.l kJ 50sp3"te:T6ǠjNYaq: Wkàf'}kSVBOR4f0"ErE[(ͯ:jTYSjlg+8ֽhUE/>d,q{@H^ZWp ^xw,sLu5]H, v0)悴Ι ~X#e0Ԣuhѧ*d1[t$K|o|tV;OX(m3dGn.7/N>fX M _Ul2<'̗z Hms ͬ(2gϜx Q;'J/Z|CZ偌8@@YҊcFK}- $f@ ZݩtܴݑZmd-1yDBc&tм$ S?)r9TKR0vĭL%s't(4-Z]XTrAq N/\\r0p "/NgχK.D4]Rsn vz@D5Ey{VѷvP3&k| 55TJIrY*Q^JGA (Zl[s3YMwvxTo4=2ԩ8=MKP3qf8f~\c+)A 9^Z5cEՄ 9ʧ.9||#;1| #s>&lФJHj XAMW]{CZ 2\wiiN[mgfoB{M0TIdT?::Z).VDWqu6|U"M_ )zW_0*r=ZS MzBvwAAk堟~#O:guwķmRU;Vw3W G\q}Dx-К6G9/ aFw\i*#-&Fڲ=DZs˂J'CQt4'M=Maab2rԄ`pX #S.µ~ё]';rͫ5BBK$߇ȏ~zHN. iNX+E{Md?a8vtgYZa4fa83c3db047f634f647a486df28616e40c7d023853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f