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   b 4< ]/]ZF-Induct:threads=6elapsed=3.292cpu=11.020gc=0.424factor=3.357zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N{1;oKC_նh+_TLE 4w82Pmx2qeɓ 8?VYh)TX3L T?'J}B.DmQZ";4R41b?!RXhm;xb;]@1ZG<[ñgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|?vrدi@;uI@$P/=*H]7FzKՉU`Ȅ_kA<۬92p"#πbt2ɎWu{Z& E/pv$Vc=4.бYjXhϴ(fBE.?]F`d۵-vy>6d`_bb`imDZ/"J-!hb]A}5zR^zT.w1*qOgYZ7zXZִF! 9]ŗXi%;kF E|i'%.򭍟CW[qxxbIoF#JTeKݲo}FW̧^EwO B@$T#O';Sb|s>fa~o{bS?%6;KA H:I'X.YoQ e#!0%ǼIA-}[bzr /Bt|=n>{CS% +gYZab92c6a794cfcb411be0480443e320f6d7fe41061667ce1fcb30adc5ce6fcdb5feb10204550c27ec 7660eec4dd95d1f13c4dc159e7a50f1e83f84a1d42c1ff1102ede69e79ae1a640f41e2ef8a4bdc56   ZF-Induct