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  Q Q,+|L4 ] HOL-Hahn_Banach:threads=2elapsed=4.010cpu=7.548gc=0.272factor=1.887zXZִF! ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{nD>>*a||V }0 S3Fxe]\ǰyz/M>Iz[:A7J^ɀge7#m48z]& `~ZAӋy<"zo_J9hZԛ9xgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļcBP wy)'P!:Y^>cA4fG~jLOy)#`7̕lU}rty=ԫt虲QIz8 *sL-%A;OЅR 埍u V} ԁ3)B^>W#3,ˌsKP tLR[%,4& owPWp/k1 P8] ^0`o*gYZ7zXZִF! %P]ŗXi%;UL|l[Da696@<W2CunÈʳ820,-=ݢƅ4޷K}RM }鱯DY0"X-j3 xlh;0}U.tVT)v)D2`X>;Fꐐ*iKbͼՂMmV-w Tڻ.ӷCV CxZn[G+kBZ)z&|T 7^HrgQ)C":A P R-MEBʠw5\մϥv=>6Y5Ic(|*"B5eՃRqZ,}42 &%E?ok3mip v8ABI6fdX|"-OWt6Qk]-u)-s&͇$@>}P‘VW.*bPci4.^BZ*? -@7N{Ղq%9[3ht+Քl3o6\GUQQ<T7bYTJW4t)b s:%8TaʄSjˬ_\P$&6\<zEGmɾ4 ya*4ҽkiЧI ZM-khN slߏA_TEJıgYZa4f92fb5e22b4612254bcf11b7da5e568dbc9f11f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 600e22bc2edc8056b332800032b4ed87cbe79023 + HOL-Hahn_Banach