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  d d3\ ]S Descartes_Sign_Rule:threads=2elapsed=3.241cpu=5.568gc=0.156factor=1.727zXZִF! ]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyܤ3?a.Ȅ =[lX%Hq,`E| @d{zj!.kmqhNVwVe^ZƆd ƁqD^(.#gp̫Lٹy %%gYZ7zXZִF! [J]ŗXiɟ}Ʌ^3rM!:iK-Iw|c~>M~& P\B&@f\dq}YZ7zXZִF! ]ŗXi%ύw4ӵ'/5 JMelct*`ݤT$ 5΅ hiIɩQlWwOV `W4~Kޜѩ\3SVIVpJ6!~kǁv͏m_ XV'펊ͫ5Dvwݼƒѧ3% SKԮgI: D8r$gUPDE#, ύ¯uHط> hʥh5i dEKr7]ƒo‰!U{w8 Iߟ~(a!"+B )_Vmd$5+.#w< ڬ<{{YÇ\gt?4ĩ88y$K0uSdfAOwtm| &z:/ iAv@pzt!H{ *>EWs\a!z1v߈Oߌ//'흌AʱgYZa777174e100d2e8efde443421fbda7137e355dcfd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e 9acdc8ae94f51e61fb886a7d4fa5f21c7bc97074 3 Descartes_Sign_Rule