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   `+"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{(3N>*a||V1C͎>5zi7=3)nd0Nhtkʄr 'pA9UHA[.)509H3L$1 R4Mcm,mھͯj7do7 `2!DW[=+J :܎[  AcgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļri8KVXDXɅd8 KPͩ7тsD&yimN玮jSZWp i:UWfRLGGO  : PKQچ.5=xPa=ܐ<Ehs ̠Jkf n*K{r[F- q<,߀fb9is \ =Yr1dw5ͩz)㙿/ \"TX{&gYZ7zXZִF! ']ŗXi%;@tE/--` Y![l5.SOݫxD(:OD 5Ƕ&?M&I6u3@ϔLn &&Qx5@?]&N"hM6&H# (HaSnؽؠ\O}U Z)]aJ y,B .!Xb Yh!w~:FwSzQ6ϫjG?(MU:JLjW$HCߊ W+;aL9o7SmsH1`țЧ/t) !3/q2Э$ Ε'7Qa2ѥ*>wdV e%JUձT_/{ۄ<bh RG\'nX-\p4%"C M*xx*S^O%Asi+ңm/Ey% 8&!"6B'v?*۟-fg :r(| l/2`P~3C HhER/?Z \jc $!ugY[@M^@lY3%J A ns\R 'Mb+(6Ɉ#;Ff#F(/9sFUWߢNgZF$EfΏWdBjRlI$/TƙݶOZxOQx_OUVO󀯱gYZ078e50291b9a03aab807965b7e4a413fc02ef8c098dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea + HOL-Hahn_Banach