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  -3 ]S Descartes_Sign_Rule:threads=2elapsed=3.035cpu=5.384gc=0.148factor=1.777zXZִF! ]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyw!w&qY D :Lc0QQ?R!`ArF~.tmB^4fo$Sr}wl`\ g\`?Vr %%gYZ7zXZִF! [J]ŗXiɟ}Ʌ^3rM!:iK-Iw|=oe(L/h)=qM0ǀ/ȔG,f\dq}YZ7zXZִF! ;]ŗXi%9(OuJdy⌓ړqܷVuIY#O-惝gfaX Q̗r9 z3,^k5[-.C௒̨i+ Lh54Tߞ{z(Y0@֓>{:5&Bhwg-&BYcJP 4C)pt!@cj־Jh%e=B[;HlՕ%],NG-e]ώc9 .?Kڨ~Y7"?PԈx.:/Mɀi^6B#??]A>1T|tD,i3sGU'-i7vѶdZg۵?A]Ĕz=u?JŸX4WwAi?]'a 6 ?SlA`N#%Sg4qsJ/h7GJjA}JXiAR'PEDfe#c=jXoGVKȦ+֏-_7[<>7No3#{gYZb94150790e3d5990e3c7960fdc10821f14eb29fe3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 58a1d79a11e622615d10ad99cebd239721c5b867 3 Descartes_Sign_Rule