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  1 ,dL ]]HereditarilyFinite:threads=4elapsed=12.604cpu=33.872gc=0.880factor=2.697zXZִF! g]ŗXf[&pC3ў2KK\D#<63min3v -ri][͘€OHӞ!&όc6ZegI!=/x*6ķgYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{s': gO#{gxMѸɚJ$Gf|0HCݫ[iMZ2GCsա.kon$;V*e}g;L}Xķ{ZY{k ćHժQ]79`t@Gj.K>XVd`8mqY>`"ǵ㸟2O^/30RHdXU1XPq#O!=ݙYyc}NCv4t ::MA1)8e- CJ ,9(wY#pw +`&،23O2iLؙg* (7@_H.0|[3 )tZ)|ܥ_NCe2*+>ݎ_^\?*ְk24D 2Z>0y4.eU$ɜ'AÐ ?: ~afN^[Lp9"sSrzʻZCW e_hat7JWdH}Mh*uƶZ?HS5~WB,$|.#a7_xr]|E"$^_9%s\BИey'$R]bV9c83]yhr+m`]T S0]%Ȉ3ԍ܇%-  aȯʵˆ80_>NtDv(O9BM=ﴫ'LG Ja4½^VuoG95S؍朤vܻ;煨a2g2D{bE5L^űnkCI Qt:)U#K'f H u]qc=ʟ 4AqBn`0&"oW ctGܫ։D.4xf:8P ߈~JI{7F#ѹߘ='1Uy8lcj nGo<"J@nx {0Aic̱ߐR_C*BzMhG/y« yCIfȒ,/sާ,¾੔yfOӅMo{b:6s|F 7L j4oE^Of>cgM)^RR ܚIG-s;fΫj\;Q9=Oe<<\z 0gZgYZe3584b81e41fec30bd69c4cf419c36aee9bc7caac3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220cb0cdfe8055bc9a88700ca51a2e847ca1849ffb6a 1 HereditarilyFinite