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 1! |t ] HOL-Induct:threads=2elapsed=16.907cpu=31.292gc=5.068factor=1.857zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`lC9ǚ d.&=g%k|rJ"g39Q֕: 5uߚA_i`YOEH0 Ew,N1c/zHlWbZ^"Ρg0Au fS.-)8BXxƿ^ _fIحV~À"3{s R\48 ECBzPao2v_s!pψςU4:y /샦Mu#dU-oÌV7m;#Mz#"pD:uEfⅪ8P}}vsk/PRUpr+O@"⌼/7]"+u2|rDd*.V`CkJHZmE^"m#1ʫg_UR|n6MfV  D^WFHkkFN@D-==#UP /;޸# 냠A,.Ԡޮf4J\- |ℏh}8fvh}ɔs)9"U0\