SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 NN/7 t Sw Source_Coding_Theorem:threads=2elapsed=5.452cpu=9.852gc=0.232factor=1.817zXZִF! /@]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDKS!6c``e\s aSؾkfI zV1_5`Ιt)/ycۅwy.X aB?#pq$)/).8ŝ=*F[䀍ٽM(}<2cݟ S n\Lg7CW/yQsN\^XgYZ7zXZִF! #]ŗXi%s; *BI!=`G[x]op+ zZ: V to'  }Q<&r fu!+W䎱4oQr?~CpoFZ;|Z`cK^b">8HG wF ; 8fvi֫.Ȏ Ob.Ee*PTfQm$H-gɦepһXP׻QQDZ^PG%Y^1@x r9xx7 ..Ɂ1>n94 K& J7= zcA0)(5 Z#:V .'>t%+(',<$g!.yc_da^_* qȅflؾMj|Qp;wHHo 95TewC4$V{hWb&0pӰZ\Ӂ ksZ 9bN?hYhVMfJMUX"oMkS(f9T_dC:G.Ț5H#92*ӦnbIj›eL9#53$g|B=!瓮e)xT׻ 1b('澿K/: