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 pp + T ]/ Strong_Security:threads=2elapsed=20.361cpu=38.308gc=0.964factor=1.887zXZִF! 0c]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸5Βp67I`.mjES2iU~ԩׇ48~'aFxC@r+R^(*-M\dMLۀxƩq 7#l*$ -^ r]6l` VpSrO8BV6W-GǧX7ȍ@w7"vVF7dTp:xjBt7] `mYW8O zIZ$n`Xp,d wΠ8"?) e6'-?FxeΈΩ٠Hci!yfwYݕ]UbPePֱxA {n?}j_* k3 Gp|An,s-3lPWd:g7,f vDy?ba9tj8BǢ1a5QdcȑaI=2&utz I%$HgYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#qnEWeu&̒m2z9 {ieoԋt׉ͳ@gA ]8u:PSj Pu灯mf/D.B@=z8S)SDw2^M:seӪ]K)?Ua.{\ EEܳBM_E7莔oۻ/a0qS="1}4r2z3,eQ$$0F gYZ7zXZִF! i]ŗXi%6\L] :q\ \Ad)NMЩHjZ3:R%cz;?Kس f&&TˈpoE;Nj x0b)Jupn@zK7Q֙1F }g]? PrӮ8l: nq[IF=!]]ڇmK]Cq'Z(Pz2H.! N?]Lpt5 fY3訦=U.Osf+z0Ci{j_[뽐l> @EHm\WNGBGj)4$\-Q ''YU!cC&BwF^dQfnFd.5 QY>KY],5Z>,F?(htE'im<2NFeoi^k9p'Xm 09P_'.ym~w N\6:] }? Ѝ*c {8ԕ=Ѕ{K\e~nIszEk8;