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 M1 dL ] HOL-Metis_Examples:threads=6elapsed=11.682cpu=50.184gc=2.824factor=4.307zXZִF! W:]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ט(C'PDs!.23aPeRe%(pSd4Kgq*@H>k=ϧ*`' dFWC6DcϢdٌ5DCv "߅Vro (γx6X?IĞ~OaQCD|ߛ/<Ä[iyLpr& A2AFA:M$2}|GFx3=L]wū%&GP3Ln!.Q 8z`o9 _39iúY_!}u,}XseI VTRk \敾s^2F̎Lu Pn)T@?ihں7΃El!9h{^9k5H iRB"!^C9]Vn= 0kĄ:!$1I'(kN4tK e@ײN%x-a1qMDuc * "p"}n֕WߦBJ60Q##:J>ވ޼jA5߫fiQk131,7Ћŀ&=q. <# rqK3sc(HC0= 4"괵Ƕ&o0LаQqFȸ SKKPUqq~fLm-3"*+ Kcbk׈$ Wa:\ ,2aQkD95jΌr.E89neH?o֌S_Oo0(13%E4/$nc`ϥQL}D'?ا`vcCudFQɅ|yL!&Z\G/RG M /2ozɯਨ yf\DZ37QW:UQ/~a!;%=mzHy8C.QJNVm+})*h^2mk;T/pބ#. 6椌泼ˮJĞRF¡QԂ3w`ӷW8 gI~QПSS\J9 wnz AwO}NZBT_ `4 Ñ4%۳$VL+)O҇oqhOx]JXįwF- ei2` -z!k `84%pB