SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  K K2 t4l ]/]ZF-Induct:threads=6elapsed=3.446cpu=12.196gc=0.448factor=3.547zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ )堌MZTIv6Gg5//NJ~9T'z̃}J5A! u[Hjצ˲%`v͕D0!v1nguһ$ZB.dQ-R c6vtR'o J<ݘ +T5[Ta.kjCԼCx}8}]AntT k1ǰT`;Ʈ;S0D0zX )yХ=yW{1k|}N![n^fp+%F5_’Ss8݌qΣJeY64Neq#ĉU hځaeX¥bh^id<gYZ7zXZִF! 0]ŗXi%J A;T~[r5PȱzWnEj:r u3J|B=^>1smn?Y,cu[$_Ǧ;C Z!÷ܶ~l]}l(mp u"|Jd `3R9.h31x-z@ ܅&=kÎˉpL4N| QS56e恓&I:h }Bʀ^Bw kU#)}I}8/(c Gcg zˀg؀ݭJ#nb1[(7{`I%µoRp䵜V i /r:2[W& BsQOZ@hfuqԼ ?c)w.IC6&/#*gnWϯKUjD؝#cD@ܷo:ȗRe3*$C M8>xJ" }q$*Cz>N ɨ)J玒=LsNR|3㴙g}ۤ/yIJVoeG),wбZ(.8JږèQ؞҆tDVIP U!kClw!s5x~RviG BOHl_-aC,SgYZ3502d157a46e21a7d798e9019173c86268f5667b66bbd849714724ffd8c8c735b713095926828f3d 684926c3efc2c88d5b6613e6aee21368d74923f8080a62fc9bf2d47c43dca49af3484d52d4348d58   ZF-Induct