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 44A5|, wS Card_Equiv_Relations:threads=2elapsed=1.157cpu=2.164gc=0.000factor=1.877zXZִF! x]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ^Y1Y|lP|5kuФG+lNc~ũwI]9Q#@6zo\ .c[L%NyR%BjpOU&ZV dK+=+;wKCX吟o/Rpzz`ٳێ >\f7z#D :]vU5E=ކ.YG.0} O6&VF\A2t|dLH2X 8{ 5 Card_Equiv_Relations•ąQ<.b^xt]&۰Ŧ}e(l=;f <%ט gYZ7zXZִF! ]ŗXi%B׆kvԯJB6.xŤW<(i0+L ٛD`"&0-D6acw8) NJ'VVY-5#xYO;Dp tkƅ5OIz™m YI?qs#n/tKtмU]~2-KML.iZ(¾`J6v*0XMKi!(^BA/aOjPV19q%EuEd*vqg.K E#<_o  ܞfԙlINmO<{p)q^|iɜ&Ք5jZ"~T0+P]MQ{ LXwH3O*_782@ȥV5ݜ?[- rrgYZ2611971cd215ee8a293434d7467475de6c036fd3 77978e691d793d78c2f5745acea812b7cb856c8e c471263abe76708881b70375b7e38a8eff1a724a ef1a10e77214d1da382be5d397d7b06ac37d759d ef7a2470be12f003f0166efa99e4fc3b643d534b fbb29e609d61846ca2b097a6b4fd57eb7156bf01d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 d784936d1d4eb9723c4de9faaca330afa1235e37