SQLite format 3@ . BBh77otableisabelle_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  , ]/]ZF-Induct:threads=2elapsed=6.750cpu=11.008gc=0.460factor=1.637zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb '/sLٺ`R5WԳfō,eF@_&o[P4nIc-{|E\i"Gj~E#i @KW|1>E;IHb X꤆ff,cCہP'p v& [:/,B  wS|gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz6?vrؤP4κ1N Vn,1 U+{x p8x_tQ9rgOc؟Cş؜ds뉖"{9pwpղ=-i?}joӸ:P?iR#{9p]5We wi.gUu'k@@DS^`2?GeV˽ys2v k DǪgYZ7zXZִF! 3?]ŗXi%;sy5R?^XK#A,VsXb`:*j9jA1C8%!'6n(\K5@ E ~Dy5,s u peqtBHb; T*]*`B <0JcڢCU$gTj֘(tUĪjfޚ(rP@MlnMҰkQE$&:n!̬K!ا8_-`}CjB ]# emwThe-[|[zvl-tP5*X+^J:=2$+VأyۀYgZY)[v7Y%p1-FӍ!ĉoliɨ;’|LT ƌrH1oVz8̱;|S:l! e@P8Pb g T_xRJBZzV8"M> CM]{_+.(>^1;ԮljqxAՀ`할>w-ij\Oqga_' T `#`y*tק4;4_y9|lLLW3o;w0`҇=;r`+My|o칓ǔhPAx3aQETW7m?"$Gf;@OuGb-rXn@c7ZMZnU6ش稼(8&FqE1!AI-č ɹY{]d'm [;TQٺU?* T,fW+K1\X-Sg1ȩgYZab92c6a794cfcb411be0480443e320f6d7fe41065854d6758689c83aab18dd02aba520db4dc6bf79 0806bdeb3be9b5fce780a9de3b3799ca5e8eaea3d70d6f412d08e50419a054ba464e64bbb435dfce   ZF-Induct