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   ~< / GoedelGod:threads=2elapsed=7.646cpu=8.252gc=0.108factor=1.087zXZִF! L]ŗXf1-/6vRZȔd} bMJ3>~VaCs2 9ԭ2'qPQXӞ6UE@g'nr $:`">GwJ"<*DgǫQh3! FlBsͶmJN<#9hk9<zY4_ i$n`J("[,gYZ7zXZִF! ,y]ŗXi%s 6֚Q+99V,ЯitZS/0Ft6kب>RUvGDZ7HEfNj81T6R}~⫵?Fy9Mmܐ{ɫ/M Q3~ -3p{MOºc}л%2n۔ *᫰"< e`9j G5\57Y ؁]$WrN,$]n6]OKT¢/YgWܽUϚӭ!Ἴ_~.>FX D̴6AeTb0 LKc~HxU3w)EV[*|gҲ9tN%C9zM^ST^[Z5xs": ʟ ^$&ć0Jdt)t(?G/7aoImtm^F$~4w_\7wi[4B)oΦV'XÈ wXO :S̬[P΍U@L}]p' <"!5QxSk;JrO,QKVbZJ9Z?`A8c}. HY!^֞]NlY{3#8D&Dm7ngq[ZYmݓce@Ö$`>>Ge.#kx r:LG_ݗp,j8W>X Q+gYZ3fd30d99aed4ea85cb84e571147c0b79ca02596b cb8c60028e55824850818d8c962b053b2584f167 cc2a3a4065fae604f80b8a0c4114f9999701c8499711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9   GoedelGod