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 v dtD ] ZF-UNITY:threads=6elapsed=5.147cpu=26.104gc=0.860factor=5.077zXZִF! ,]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb6C~Ão g?(F-]kҡoJˬqGC5RTF0z컧=[%^'Ff PWp.0oƪ1&UƑ'[{fÚ燈g.u/B%ў mdtzwYՏ0+ ̐[bKY0?$r !w y<{Hu??R j,.74RmL>e () =@LDk9Ff 8?%ʭ},siE)b߉Hdqu_g菐%9* ^0P vb"']t|4{R+a{~[d tYD8G5iChՃB?Biv6x'>;(XD<>;"|&OHb&L1zoQ܄_}d (Cק!17,x0ݒ[9V)w7ӯftE9A]&TK_p}Bn{\\57lahl Wж&`g! Lu"ޥ6 &l?IpZٯx,Pg$ Jո.k|7d:\s._몧܂V"?:TCS S^b̎>Axrggsga#N!mΈ\e'ql7!F:MC]&:uf ΕUcQ(ī7DmղiqGl99M7,o?rV8&UH?}{'ԼWd)CCe4 ;r-klvK"U9EP 'v;7eV}F!ϒ5R*a|GFd}|9DQFMS&Ǘ_9M/BbI O/6)̠*F lf 7s8qp[ұgYZ7dd2bb9b09d7d152ba0885213649d81d2e3888b92e856cdbc8976d5457a0edc209f4bdbd9f5500c1 a5779defaddfb327eebd10ea136595872d420488 f50b70836a347757614deda0f0a06f667d6df09f   ZF-UNITY