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.775cpu=13.544gc=0.560factor=3.597zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ kw7?^s^ލT+G# XC/xqh\ivg1^L3,A),e9 ;_ PW[/4jIa昡+jc̈Y-2.NQί#'S!`hJLYS4w t#RYxg =GmI/_(9S׵ Q_gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|2{nȾc[giۤ:Mp!=D#_ Y] DU4@Xl2-;_VϾ *S,\/%u?W 3d3UѲnryť-p_V$I)}|$6eb2:>5'ѲpC.^O^֌c&VuնC_* T` zxp#cL; {P*ma߬klqZ_u$@tN~`ρKLpU~"cse+\LS.z6G+ :xVr;a=B-92MjN([UFW|{6Aq1j0;AbK̐20]E0KLp4]2:ҟ]h-I4KBt,y3ژr 6&y_6nT2Zzb)M)A .*f'hGQqΗUA6s콅huM<&ثc#Ρ§Sg*݅IqJ(d$#w>UOtr O]7C]\LHҢ>hqdЌNvSd΅Fz$2: TDZ,W?6+sgYZ8ed1fb63c0762aa1ddd393fb7c4285f3eeacf40a76ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec dd18cf13f593bcdacc5b2e3c2d11ac61f7ae9324da2cdc57fba6953f756f751360e80a21cc758d0c   ZF-Induct