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 z | ]/]HOL-Word:threads=2elapsed=23.625cpu=44.980gc=2.068factor=1.907zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z '2"hV(>5֌Cbrsz:kCo'#CfЌYMUy6荼UӢur&\{,#Y d7RmE+rdqbB}Ue-w69j&FDڞaMaYgnBKx•, ECZH=},/^X]JaBZJ6jn< \wD1+6K#S~nS+~4ͭCY{-x(UѾl6΄$Yu ?AxE,ȉ",9D:F(!ޛ5Q 6- +S{CdbEB HSͨC*Py?v~K"^~ߕ'h.ac5)w5118dm٦ ҭ>$'u;^+jxY&V*431+@3ݾU@Aъ^Nj N9Aʤg_o.DmN3AzXgVJ1޼nG{ -aiA=\U6fMC42JZRq&qܹo4f\;QǬdF3c&qJo ŀmՄ7oiMiB}]#T )@ʺ+koTG4&q`@G~IO1t:!l%]Ԁ䗥1P#VE Giݠ%=d˹',O )Rp"N.۳_I򆉛 uaFZǕ!GAn8'$B|"q/wblrCM|mH˜iUha8]:C?tl?[caNj#bC+Y .HTe{Em6'LB6݈Ys=`C"ʘ 0.~ t[wBxA^b7Ĺ߹ASc +uH0 \`^2= ( PҦ}P<ŻY;% ,xqUxEt~|g@G5]e-9|{ ʇn;fMvY re()fK.نO<TZ]6pr(9Z!`HtRJ Ȥދ4{ Qܾ]2҂GV\)s3$#(i@ZQ ly{cձgYZ0fcfc0cb1dee54573def73bf2bd30a76dd6f065f6f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de123bb91acacc9d33b9105d76cf48c33eb2457fefa   HOL-Word