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   t4< ]/]ZF-Induct:threads=6elapsed=3.371cpu=12.672gc=0.580factor=3.767zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N 'BH).F^ms/CHX, )؀czmR}?^2"2nZw!E wMV%&1 e5{bYN#z57ʼnk8C?h,x~QE/o!+VP6L)6㈩ } 窱gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|3#@9Iǔ۝3 &r?9u'cb]u׮W_}1bs^( ?:z|p{Wp-q*->Gx>#Htr#{j 0҄"| sSg66ŕ1=%BeKp^UbDcl(FqӃ!|#nz]_ RCHYѣfā  :gYZ7zXZִF! JW]ŗXi%> Ăy 2U(ɫwL*HX4 ; (s3%"![q8 =Q@p^ytJE0h^nLҁR1y B^37ƈ-W>B;&*Afe(nvKm@eUdiP~p J٭Km9M%烄EKoo2ddlҹfy>8seaGp6֤ybYyAp(oSt~U.||_larVq:֩U4nl[;L~RJD|_XO-)`JѤʚEb?2(g8\#C@2r*­< kAx޼6P0ʑQ[*DBn `gQEF|d6@7)M>krp7gN4nINnW&$厵X`Xxd <&J_8gYZd17e529cdb6ef104ba3086c0046bbb2369c2ef9033566f3cddb263229cca6b46057522afa84933ef 18c7c4d6adc0d8cde3955f955412c21f0e9db1c27b9fe68727e9a51ecb3d2a797d3218f7d7e861b2   ZF-Induct