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 ==@ Td U%]CAVA_Base:threads=2elapsed=7.112cpu=14.156gc=0.728factor=1.997zXZִF! xc]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=bs9>#z8&Sa4NGU,etm)OtFZ5 Y_'{ D;á[3[Q`A O6|H1Il*45Ӕ]Lu2U{OjjH*CS/uCERx 17EOecUq"uk)[y(þjcZZR'2P#4[VDay] ]6`iFe ) k3+ 8u/8IR OY } |q*):s+T݁gj'Xps1LJ4z-S[5 $y?#%JLɉ\J*4¹~Ѻt2Ig'3$Oj*.gkD:ű AT&ag<XށI<6NW]L@dN6P# `Qž H}H3_~(b?gYZ7zXZִF! #]ŗXi%6wF}bmlSeP(>-hPoskX~Zqj8?urAX5l&6E: (횂|mey]3N4HhU]җX-(L$j>?Uon$|0{g }nI[$8n1{%RnJ`+r ן}P Q`oJU