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 t< ]/ DiskPaxos:threads=4elapsed=28.886cpu=103.336gc=1.028factor=3.587zXZִF! .bq]ŗXf[&^q)鰧vygD^g-Y2N!a\d>2}[a آx]H# ^:Z`0Rqduy@Zw| z7 ڦ@[hwׁ :,@XȰ7܃ Q+R&/U`\]JE!l޴oC܎Tg ZȖ<^Da2D[}: |l e١?C S)dp3D;f:KPv| #_Nz.-)RzvE3E+͈&@P6 BdUO跹%g ;[9ς5v[]%*h<ʟeub%OT%;Twԭ ecȥ]۬8!@y{f+7E*! ŵ SDYƁqđd}bE*@e!L9f߱ȥ<-9w`abm%Hwqm״T\[~FLdruZش0Dţ}= @?(K q?ݶPsXmVa/'YRޱgYZ7zXZִF! ! W]ŗXi%B4Rx ҋf]a m8EȒr'@SЬv䄞ב2g'0Ƀ-vo+|6JLл鄠UWOŻe*ij24bR*Lo;Y6B>.Zp IۈWXE/lBo!d )Y`)¢^TK*Ay>߫Z"<yGx<ɽ3}L&'-q*b\T +(*&}0c2󀹐i.nOTa<5qOgY⡦yd|~^x:xW#CXwJ(ZdN_dwPA Ѥ4`#ԽR!3#3^ǧ`K(C%6;6$+SR x2D@|ʑ x iq}Lgb-%s|.B"o3h%{cTldQ^e\)zʇqta6f(5k-e D!s~>,4/Qc('Uo9םmQSY'IU14Q'ݞv3+w1s4?3P4ôLN)ۙ˄g6V-%I@YӦBGs^Yku3, >+[Âa>#o,]rc5GppveoDX! tԃBǻM{()L άsIf S% `@fn`n,Q?U7)&H|&6/Α&/1 ќBN:0T9NQK9yuWZ׃>F/UϠ# Y =ɚ;q pQjrc #ܣQg7h` .)"/2)@#Eu6SVMPF 6řGCoc9u;dYzT[2(KXQǒ4 䋾hwz!bjYOB[$6VӠRvOaXETT N)5cAg[%jɜi 3K .`CZZ*a 77]jg6/B}_ȐM{ :fo-'˴4CÔ.UpGȷW$N-+g腣 x`MgױеdzߒHd 1b;1b;CznkQ [~L~-[øUA,,,9[Luaޯڎ 7@l-Qt39 7GAkBQQvneo/.ERuBu/™ rY!"_)|e{`^Q7VQa|<]:YW8Si#dd<ˮM70d4 w[unG58Q;5GUhJovyR{rI֘-udE ݇_'?!J A i)ԗ&"|D+d&)>Ѭ[NҌ[͇M \ˮhbGJF? ˩NjkuZldM%(;3Dy<|fPar@)zU!L(Gu3`A?\*`YdY3]!+\RQUCoνUiVh΍myuO8' UCWYVlVʏTRp+l9Åt|,,}{#PsgYZ3bc40f344385490d3acc361195c96119d2df328a9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d