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   v T,L ]S Codegen:threads=2elapsed=6.633cpu=13.004gc=0.732factor=1.967zXZִF! d]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4r sX' &N G5^涸1`. 7gyy7VEzp*J)?AG=7Zkxg]cߒ0ʷ a!Z6=71l=X 1N @(t?8n}3@lEظ:=j>,3Մp~-ri63:GcH.EJhѩ㵻sQ#e ^/4>L(@?^'[ժ O@0~ ahN*Exrٞxf|0jVXg=[q6E8YO};]̷gYZ7zXZִF! ]ŗXi%;iFsN-NOw}L7M!ӅL%Mp#(-Қ%8QV\&-¿6b ;\6N/bmbe dBkYZ"deZު®0`#TTf=OUt"ZRh3)!t^u =MGbإ &)4RfvaսIc4aL* XHKs<+r 4CwRph*$SV" w/[Al|q;V+K8 "GR"r|^?샆'es쿣>ǮS%Hf6dvH罋F?S)ٙԇߓd/,]NphkN I_E(َ_l»M58s~ n+y:+KN?:x%`[!toAe;6<\