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 {1\| m% Transitive-Closure:threads=2elapsed=3.733cpu=7.236gc=0.316factor=1.947zXZִF! 'h]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l&u.GV5ѳ:9ngG*58rD; A8T*z,xz$ 1 Transitive-Closure56t/#z|+!Y癉e=%0 Y3ܑ"a+9AĻΑh վsCD}H(E;;3 ,J̔5a~u^ } ys3Ȍeph;トڳaƗy%"_ۖ aUqW/OQz(j9Yx=@9_տFNM&W_hJ+#3ٻ{ mKy(]HeWYsnB;Ek)Jj-R]Wzh (,I^Tt @Wezb PG4T/7uAh~Ob)>WO1"z,^O` 6N Ѕ+AP {(iI1)ـfZ2Q@#J;,pĴ-+u]eil \`WMo%_<=g>ůk=er2SW30CRwYi-: V_ř̨FG¹uW(ò@X [zWFH;Mbƚ\)C6)m[?EُC&H~)㝱NIAݴqڜ:-aZJp2O 3G(im&(F=ߣeK!Nn.2ϊ+&ԦVVYdM"gh*|`4l|C=5nWVkL%2,\ifVP/3̫:#A(K89w? UL- fe ~{(fu&a i9hxQaMϿ