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   j5Lt  Free-Boolean-Algebra:threads=2elapsed=1.099cpu=1.800gc=0.000factor=1.647zXZִF! qb]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^2 }202>|9L!÷/^1 Z i~rC1/}YZ7zXZִF! ]ŗXi%nDQsfCPg(Y g\$ qHƞZ73*i“b,k=2=枨$WF( dVdru)ױ @+UsУ%3Q]qq;Pu%ДYVeL:b+]Zk=dOoA^0sY^~U89cydpn?0}zȦcz{ οs?Iv3+ˏ gxʧ:T;0uKk͐{ KVtb;1*1x7eu'} u='O 4|:1Gf 02 vs>/ dUڷ|)Y e"j Lb4LQ jϤfYgYZ604e0cfa691479812da4652aff7aee1c24f64a3e e79a50293a173d35c3f5bd1ae1071e4a6f757ac4 ee7f67872e9c58a155bab549f35199e43a6d3519735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 5 Free-Boolean-Algebra