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  C C:L\ ]/]Cauchy:threads=2elapsed=2.586cpu=4.580gc=0.076factor=1.777zXZִF! y]ŗXf1-/6vRZy_[&~ZD2[o$Ëҝݲ168Y-q~PySa|M?jy`bؾɟTݦ;'W\_R*'P1S1~0gYZ7zXZִF! ]]ŗXiɟy?}ScOZh`KρqD.N+zrEeLwJ]<~a3t>@^I0 >b;Ԭ+y4gYZ7zXZִF! X(]ŗXi%6So7qyHY^d!e$ YcDsc/#cjoi8cMjLu.q%GJg9N2)SKLYu-Ֆ\iG՝IV}_E},d>:JJЋ:L PԄ@vU{UM&{6.&s Av[&6ҦGGIA/[IRWli!޵aGbps7P\P9_Cn+ZR1Oq(vm P%YYGH`WxƌLp@WzQ=<ҵtKJe2,Ur+dDA(?fqG~GzOo4WG |D'xMYT&ku~ @T2VՍ  lTYS Y @}qʠ$Mj"ȫJo1[aH)s(bW.Of;a޳}4٣8ΐvu.F#ձgYZ1043d8f7028faad3159b837d3222b8f5cacc79b4e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc213aa27a91885d8623d0e93b79d66d05b4b45fee   Cauchy