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   D ]/]ZF-Induct:threads=6elapsed=3.412cpu=13.404gc=0.668factor=3.937zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N -I7,&yO  IY 6mKunjJnG%U*Mw(=7wJ3#>)PkN7nPT56*6F&yXޚSfc!_yH|Pm=ŌxK{bW%?Z-3e; <gYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz(ns&eĚ|4l3mpi\o0<yiOO2Q3Q nX5?Ux,4żL} S}cUhR[*J**BMG|ޡ匿kytW<5MgiyӉdd  adyƶ.))nrfp \RCʌ jt Ͷ^LdGlSCǞˮ!P> o>o A}һ`MBF-I[>L-vOҸ+F21 BK7~.i,A"w3,i~C%&SRC1 `Q{UO\;fS>^U "h6umvσ 31^LA$ g8RGa5JzBVB-06J\ mI%;dh l{0"_^hGhZn3"cYZmvI̍kAJf\숋Zq {*bm @KH#q !Є&euf^^e)3n` %bRޜ1AJX4ѥ:^!W- ƠsZD}R>Կ`"I˶t>ӛmVsWvѐz#*[ C$"3<)jQaw4+Uqoϕ5Bp`naN,Ֆ& {b .z_]:rBDjJ'ݝΎAyk&:,qϱgYZ2036f6df19e55f7714ba47de845f47237ccea13fa1e841a14f3cbe5e635587c582b2f4674f435e40 d1c8974a3724f14410fe7d2d5a2d110f7f79627e50fd461c77948c4968e2835ddd80f8d02bcafa82   ZF-Induct