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  7 7F T44 ]/]ZF-Induct:threads=6elapsed=3.162cpu=10.652gc=0.388factor=3.377zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N׉ᗭH!HjɆo'";HK|byHqIBf!4߮8 ć_Y-y PÏ3mgAg7g]C4~eTaSf622r~, %vRNpf"`@fx  ͯegYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzvrتIWDZoMapwM㢩{bK0-4|-6 /us^ Yczs[oK%0,yؒHh4p+ ФpQE5hVI9Vb|{Cn˦kRr} hA0(58 ,gitR]f[{%*^Q47չ|v [M"JwlOlF:gYZ7zXZִF! w]ŗXi%6ƱzY X[cV״ k~g@V-8\+{f" bafrI)ճ]Kd8~ѼƁF7rXa%?)d°gސc1 {) e29bn(䔗=YS/U/G č; BP{9ʮ!Tι'>錟JQՆ:NJeQݝn6{Cu ߛXW0J#o]r))|>_`#U.CSs<0{O@2X-h\ЂDRm;O&4͏2B$z< Z̚]dG`yJV(q&c4TaPu,ʩ/Ѩ`uۮKrn/uG}DqS»pSQ(כ u K3%YA'8#c̤qܖE^".7D /s.tuN!fOf WgYZe6a6943df29d8f2b95183b58f769d70ef940a3ce48f87baeea618bf8b318f4114ee7c34a4c78daa4 69a1189471a5633768e44a274cbac9f8eb0480cc5618f570170cc55f2217faa13b5767cdd49046d3   ZF-Induct