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 {{v 4$ m/ MiniML:threads=2elapsed=11.429cpu=17.420gc=0.568factor=1.527zXZִF! 9]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{We(i q.V(9 $BA\sA4`G)f,YRݽ+I}?OA(PIīɅ! .1H؂Ǿ%V?q6[צhP[awW9dQGmVzKv׏,2sςȰ]LkCr' ݛqЏf2vl~ B-`zFWIH,G<{ufA$PX\FFyH!En,Sr!5+m,>lFhq]ܿ'5h& O3&ZCÃSB\C=&čMI *ڢ8]=e=:N|H&T_\qaTV\u'fx.b,,K XRY} E0n`PAcv1oL / F4hUd   MiniMLeVy|EyVVIjgEM7kǸ9`z5 eL-?X[:ӄŏ3mv2ÓFy@x-!I3+;{l:+-M3yo[Pٶg.^T$\,xn l87>sօ'%扐 &lJ8(bnwr!Xk,*u I0)yW;cn+07LTV BM,U6g>o&|0 "b\%ROzb]  [g25ƈgp5Ie![ڧTwPMZKLyIHJ>Iwny/ LKLyltCuQcw[fX/ѹc&@dSNPy資bl!(X sfLvR![!h>ŷ9-MW s&gYZ7zXZִF! ?=]ŗXi%0<3)$t:_axW%R ރ[ 0EWF巩@wF|BNw=M׈W`^cD@4tTå9ON,T:yh!$JU P{=6Qty)q砸 aZ?i֣@8 \@=yjTHhm.BK΢UMr}+HЯ~:P+. ^>Q%2ڜc[Q:B׺ꂸI Y똁pى7Xw HO@}.g'L+>)Os_ L+‘UZQ܏]jhJzp TO!p$,ܱnxo@{s y'c*N0y?YlK1@}FE?̞2E(W4l '<>(k8-!m0etbtrVCsɽ"b19!ON_~(gYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 d879a61ed00296ff00ab4cf4f19bfec06f3eb72e defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad93b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c