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 HG $| / Bounded_Deducibility_Security:threads=2elapsed=6.071cpu=10.508gc=0.384factor=1.737zXZִF! 2.]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWf/DcO@U8a^VOͥhUPrlQMBŖlKѹBD" p ``^hXjVUX.M+b?=Aח[(ѯLSL֔Ky>˞Y=T".e#k-J*V(U*&fRƹ?U[?gQ0ԕ {s6g yyb~]KW4Wbyͭ|^ [.#ww%,wb+ R^CR/lȀ 2XX"wF?.r x`9{˖+M3y=$XYSh!{pg:;{6qV44#W q:r]R.Ӕ4'E 3וNG !H!2h"ed|-6 'V.iAB8R j=W\J} սs8G1Q>]wI /?];z>|" -.+pLaֻND9[&90\40?!B: u 2{Ycz2Kn(qj.]=A1TJ: \^H F,!0XtD}Y{e:35@@^d- =(l+ E4j.3f۞53G<휷6J)q