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 F < O/]ZF-Induct:threads=6elapsed=3.245cpu=11.144gc=0.396factor=3.437zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N%T3߈lf9fP?-JH5@KY& d'Zq::^!oPd'57y\(pvWՍ?0RhW UȣMbpz.,-a( k}2 NC!8'gYZ7zXZִF! ;]ŗXi%6Uz_l[Z-zC+3Px6W=! CܔBQֶ:"m |VH(zW(f[yJ睎ΛHQ=0Cq!n0 T7Z~۪^FK64.v35vd2oSpa+gc4ꭁ=w8SD^Г1!4Ao&k+Qn!n(څvćX/#:yӳff/;S04ϿF93sqKR2X ؁l7#f!|SFB΄H>+tt ڼbLu CJr29C]H'z;2;c5+$sEa{!hvj)+-Eh=4xoZ6~};M}=҇'-ۡ4w