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   < ]/]ZF-Induct:threads=6elapsed=3.248cpu=12.648gc=0.600factor=3.897zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N 47p[?w8F8.8$/Ƙz'%s/M P3ȋ-L{5@ɞ⺨'Y[ŦUhSw.c,;%fX04ho_g٠w/1"|<DW}n+KdLښ?ElDO>cˬ_m pgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|^]`j I"7^6##Mv9vBcvhAEqXdU*'yW_o plj*v|U[ ̀h )F\cAZ?=-WR}0i>gŠe jUB%qEp EYT oB㩎܉,7O% O:3C#(-7Lѡl".C',(gYZ7zXZִF! <]ŗXi%> i*$.ě4]q)RmUYEps=v( vhM:I!eL0 b\'Y:E W%.KB8-˴%lc+R*nR8#+8j-jv0#RlrXkjz1q[}$+^`@~z"h*i-tPZTl.zM ml<6nݟH5f9xI, (ێXe"aP7N CbT \KIoMm2tawxL! cC< +xuvΌ;(00AsY-qzp:3ew1TO,"-Ou%pICn M 3> lԆ  ϰ_'Gu6S{%Ӟj9aj/:0 '̈߈ 3\jr#$2?Hl4\`ӻc#J8jrqf 侮!H'gYZf6a0872280b0887d421486ff32e2f5787c0e303dccd5a1012750b588259b9982c2bc588bac89f30c a90563ebc5c009e46ff5ce7598009a6f011ca76a9768b1a661b6f2480af3535a40024e93a6fb2d25   ZF-Induct