SQLite format 3@ .  YYQ77Atableisabelle_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, "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 tt 3 < SS Decreasing-Diagrams:threads=2elapsed=23.082cpu=40.060gc=1.036factor=1.747zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4?J5<@MҚ>=+'+zQEi[_ԭ -Pv=". !VLw=`p1hUipq@LSz-LP@ ] XZBʠfzUgVAtuE%ګ%N;: 0,VNjxF_׭5,Uv::8QdVY#xf8A*E}_8 1d](f JvT-/q=)چ{+ IBQaׂ0BIm,Bj n  m"" q:DмBlVɫu}%ogU&j¸R;u*E9 "w*C qifp.{hO`, 0gYZ7zXZִF! wV]ŗXi%6˻hTwOHȓEWޞ}SWpNP{oR7D(\DXD4|X\)kNq |a#M">O^^G ѵnFO'5\aܛ6 gD%"[Oj62 MPxHV}Q4Vɘng rhvƛ.K54 f+D(+CPg3vV"j>cFZ@_ڟ#k!{,@_tQFSM +qF(~:SgQ:W5J43o@p@8m9T t D-3ׅXɪ㔺>A&5dۺTVVԌ%pmL2:B gu0; +lHM4x)PioP4FԚj7sNuNL,E?ܠPԠyGƑ <1YE@/%kYAw8rk9HqFToϞ|)$,1ztߑڎȽߕ$ft^0wd\81w1ܗ WWj+rHO?OݬG]f7T׸GAeђ$љtsB\>cSI>NB7`!86iyJO0OzX#9D{MibwZݍ s_۵|G:cYm"t鿜Y0TJ;-RZ|!}`9\zŽ [2r;I0dMf_]g u =#B*C4) ęʿXwfjb ZgYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 5f8e3f17618ab8944a9eca8b58043c6166872776 f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 9ef2fe1c7202e32c5739ff95647d641bc3d66cf0 3 Decreasing-Diagrams