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 jj' dlL ]/ TESL_Language:threads=4elapsed=20.235cpu=63.800gc=2.172factor=3.157zXZִF! ]ŗXf[&x玻C+!X,#o dەKb ;&KXi/f_C7֔L8gC{oS0ӸHyh\jxӭy;O>fr@N$Ƭ3>8Ld {g}0E 8lz\P҇⊺fbWݚlR>aD18b JJmGoƝG$)X2:wծdl]Xh{|O36\ҳňM$Fg_Hz^4zǣ\7s4{ A\GS#WG6o\ >3;}3[dl3rnͫg\5t#w/`ΣٴhTT%e(,KڢR.hZw2ډ6t_k JsQaZ]jWΨ| ʳZ:'aKtnA6*^s>4Gs &j,&17ֻBl j]EѨBi@ucxwG5k֖;7<)!@7<$7|ր LZ=E<Ŏ ʲ@ɳZ _L|V>[ňɁz=&OR-thc\~,PRQ!tO SZum!]ԅ;Al6D8Q1#)iKJ bcwTfG= zM-9%v{;bG˰ m^Fzs][:=R@?KA7c'M E2."={- `{#\'p;gaP2"F1}#EηX{}EM%w‚)s941 +H:o7R 9.io"]mӦٗ/uR4Ib9@2tXui 'L/4$D )f\F''Wi@yyX:zvA.8g"+V][O5uK>rI;?,(soRZ88J8nSN\ \6=45$ҏ[B0}6c?BWΨY "4ĵ6Uצ]2~7 "e*Lp}SZ-W]q3 :}:2ߊ[7DOrYzm%R^҈[wQejN"+Z=bt`qb굫wa[K|iFڊXD͇{2 1S}D]Ӌ> geO5&s)❕P9=+7Q?i=<8+\Zh + ٩PEmʝ'^ H_U(6 FXpn-g78̑'[74~G//yAAlP~ۄ|OE9u; At7;͙kx`C Gҹq$@fvu_:w6܏^{0S%[KWWF|{\tO$S;* _H 쪊'FI{rh28 p&șZײ?|lp/1Bq:BQ,jhZ%]x|CN˧Gc?uf:AssqkϬU JUȻ6;th#!B.v*5{fxQZ}͌TTG|2rbơӎvASsGJV,Soe7E~aI(aRQC;J[.e'a`I`bV=6 .5$? [nH53T az xF0^{oċɻld@,lR+}ӞG8&B酢-o?#>±9Ѹ\:ZPTdzڡ_T \W-$xF1Nh;Օi"!^B,h> Arn5fnULx_uIQNExcp` gYZca58b709a14c8dc350e5f902049d4bad448799015a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ' TESL_Language