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 aa DD\ ] Bernoulli:threads=2elapsed=10.162cpu=19.584gc=0.508factor=1.937zXZִF! Z]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3=8ZՉPzCht:Jd{ kv>@_(6S.6Lűtd <ĶE=&r@WZ `{u!2צ B`^ԔMڣQHHJn<3FL~DܜC* rMa'I5uT%P EӏXhI^ux `|8Dpav9ӯX&pz5NGm?3BsRcZB3șFx Mb"e gYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLfyydZN}/S,OeAL04R,k Xx& X ,BoGvMENt SqZιΟWƘi#S'&E S7}wԜ@BNgYZ7zXZִF! A]ŗXi%;:4&v]FK'v7^%iҷ:y[%r6/=)2+_?,֝-Imwx LվoFMl4I&|qukQu7&PjC{t€5Ugl!rߖ -}9 aq-+˖XG&7_Pv!Az=y_40@}4mb;, pcUpɠmY<Ănyƙ9zZyjù$YeɇH[x H+w'(dŸe /4HA  &w{"*xanwcCyMWݑs3;om@Bz#\+lXǞ?|T ZdyƘ^[aq^20O7āP;YM{m?47'.{kL5U$ٻhy(]OTchXG"?Q'MvnȹFȝhC{ȧ 󝳻3%;iZPK?^$5KC[4,2%  v8 E N,`K J> ^\RvQ[z:'F?mл_%.0!i%EQ-k!84W q(q.68AL^y)khRzL¡ݲs4޾QQeu*:7/m=/z Xo+4l8EB%fɭʆ\e\hك5ʱgYZ0966ea9fd664a0e7380a9dcb01572baa60087e0a19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 65d80b9f55bd9ee9c1acb629a585b7cb4350661b   Bernoulli