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 R!4 ] LambdaAuth:threads=4elapsed=46.803cpu=114.828gc=2.772factor=2.457zXZִF! 5]ŗXf1-q恈͐7ӺV -[E(yp;r70R|spmp{x|f=Xyi-iOҭB|p e}w|늹AiOxY' =:&5,c(rD+ `pWΥElȺF-(()a(Ȥ6!nh7PI`i> DCmcj,| ryzY82M}P;2UV Nב7#Zf-^EsKzIW~ƚfgXNCn]Iq711{^* ^wA'5~!@ch}>Fx偗Q Ƹ>: 멭ms[F{EC{ƈ),|JS'`Cv/;<-w~W0)/LcE!ȃcKCPÆ[QDEY$JECyiH2J'6cco' FLnվ䁶VB ŚђP|bI+RwVڞg<>93Y䝂.0;A 0۳M?z   ! LambdaAuth  4Wj&IZ=0»knߥఠ~9$7lgX%ye82%n UY:g!qWu 7DMشZ'ywZn3lFE&yPȊD2ҁyM-iss"S L;2?zf\D,ygɃ?P{b4J1"c_T{k!٧ | hh bOބWԏ a.VTP'_dWR+IE.WXwry~[1GE"pn Fck;M=l)L8fsL: 44uV UdP2 (p/;ҥ0] Mο8Wlɖ>>HIc蚣y (єvdFt3r= LL*k!`I~͹2)`{o"W&;:SPy :i>!0t?Ʈ"Έa"~D7ޟQoiFkoI*Ơ;o$}+mrlr]W{qm`.;E9IkV~/8)w-ŏf5p<)xV csw/4 {>;5C`2uy2psYp4A} towĽR(Pd+&'l6P;slχ=/>2Trn=u?yTly'6!d oFy@.ݖ'v#]XD OP2g :ܲ2Z6Svj/\U)`RC.tՋEyRlydVPYmYʵd4@C$06fǁEf[MǶ#OŻ}05 6ΐ-ǡ2-R7ұ+w"Pi-ǹ}:J<&wMQuT*ʥJmW ݗI|lo'@dCH:K<+* MT8zbϏUjHpF,5qE¬Z-gFi'e?e!ԀkٔcDŞ-|G]SƳ ?}F;mX,xѵi  G'mM[< mrժ1e 8ֆ([hf-C%YI9{olaJؚ5[yT wW UAZ:YYʴsO?]uvb( ˜9<~$?#0']1UM1?vHOE QT2~yCjc+6{^*2 3|d,hmaܾURGC!äLԣ<0(Bbjv2.!6͍oDhNm C.A=˯`϶fUabCSPd`P?e8ϝlZ4}WΙ c<\L`ÉvgYnsXm,-WY㠂2'Ӻ /Ж+)[Mo-v[_cdKf}ax(Y-{}VBKuGSP7XIԅ~A 5M/砱jgD,]ɗRM8::a`k*Tb!/h `٨eZ:?~n6^yTXY[ZVn8Q7mVD6H\ixt*kAo91F;I)w2Ek~=h6PrR* 訊&_8ok@wXWGzcAAdH1/N?y`gd~I|֯j5,eW&H5Z|s-JhY޹׎ɋn]a H_y |h'ngs7hX]:SvSHѸ΢Z@OGK8j?cpe>ٟʗ!4"F#T~q99.967َCս '6p@%9u{?KE9|VIˠTC`=l0r +2[h䅈Q!x/L6i/9zOZM}r#^5.2j,IؼA6trOPEQ4DIM]K1jnu@;.K @Ο-q!n B%̴#*(N+7 y\ Yk NP Η'&7Sp91ށt4w+@4(~]\r.LgYZdbfd22dc6a066e1d481b56f246e2b77614994f9bddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 565f94d7c6ea68c37663550cd2c586516c09fddb