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 ! $ 4 ] HOL-Induct:threads=2elapsed=16.913cpu=32.160gc=5.608factor=1.907zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`k 1YoZp |*;[fNPxݒD}ˀ?h:$"9d WnPQ9͎uGX5L/sȋ>ޑ=94@am #Iœ]tpȴ(Q> YP;Qt#xqy\eDYz|nƏ ksXJ.;z>?g6-fo􈢛: |j. p}>`uM~mZ⭻p5KV8TS$+\"3gT~7vte^G*ʚ[393YFU\2 Kې xD WNe A?ЭU##L-xR61K,x޹pBs4{i?D 6xTV0=/au~@+BS^ ed 7bVW08Z4Ӓ2Q3';d9m1`a. kSRsKBZ *}C0HC(zGD/9J*JڕϏ>j+FIG |s8[cju.7L. :ZHp؟#JI[۟v-7 W5gYZ0d0d6edaf76ed8d2a6c7360eaf48496e221ab46562b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 d41a318480675fa1dae8a13d9d0f6af627e5eb02  ! HOL-Induct