SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info m) lL m/ Pop_Refinement:threads=2elapsed=9.031cpu=17.588gc=0.680factor=1.957zXZִF! ;$]ŗXf1-/6vR[2y6ܫ: AJQtfMuG&[ b`>?L$׺ggnqFQ9J ;VJ<}J4GbnyANQВf*Rה\_3įk^x?Ԉb<wmYY|Oۉ KLB0)~4C&v](JȸC?5TC*d4;li+/yݖ>~i,ˍm@oi`([+{ t\PGR΁]ʣ *]-i솶Z*4'}fCkQ-R޿]wiQm(_*C2[{q6ktE QrZz% yQ'Á(84m?k>tqsXs$,TBXy.2u'd k?$*{F%Zqyfچd NJmNBgr1gIQ ) Pop_Refinement/ `79Aͮµ&%Wc^dyS< m!Ǻ} j r^3;bK _r#WRh4̥,<e{,K̑D>+{I#p:#ku.y[ѩXkF=rLŇ7 vQ"2x ?,M U/2^A%dbn#^9gF7B69Z! OlM(JT/LL^ &(> YZUzmr9}̐n_~aS߶bGߋ@F~ R\6`FDe.7u >#GoE#fl z}$RgLӜ#z]+4 qtru:P3;(B