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 bQ $d ]/ CryptoBasedCompositionalProperties:threads=2elapsed=13.686cpu=22.404gc=0.684factor=1.647zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R'c@&Q<\gWHSRoM}Z(X\ɼ.az9nnܔb;m'-Ǝ|"!ecEE'+.OBiuَΜ=*ذ&v'N[a1QYvuoRL'u3XdȽB`3-՚/K wyXy]!Tͱ{ռ@t9 3m4;%M B>i9<q03YJzpg'y(!qEo6],AMNuZZ~g6ݕ!UAb+~Jf-`. g9!JEꚷ|g 3%0m-OA!"6{P5ޮ}@NOmD.ʤY>l2gw\cW2 |=-BdN4T'OVD^M҈搙l ("uŞ-[bOt4<jC3{%w4|xg+Y'8ws.}d[[q)uٝJ=y@mi QtV$-l3Duj>ŔJ #f(pƗpr)1eP"TpP~ҐaHj+B]|T!%fxWhf~ҰL%m#W<Ͼ.fĊ`*5W%W)ϡ;\bg\Z}Fb`I͡[@ӟ5k5YW"νvO.y`\'#4Ŭd1yxKA_#AC]x9jz= j0 *@ZNFۖ=;i;g֛eNm Dc8٪  gYZb6c0bfd0cfe71da5ce85de7ee90fb3e236dfc1f31e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 %Q CryptoBasedCompositionalProperties