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 k' |\$ ] HOL-Cardinals:threads=6elapsed=6.295cpu=33.352gc=1.160factor=5.307zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIyNnN"'(s(A˦g ->;jĜP>bBofVmPũ@|NgލYG~cc+y絩N:'Xt\.Zmg0]Lj_)|o8+~j.X`/Ʈ2h$7ubdb!$6I8ԁrwW[F耋K׬;L0$FӍ?)uBA5y& Jje=,޴Gp$ˏ[!η5ZXu>LԌo QeL:'S]v7dP+"]/ݾm 3}ۑz}L=3ᔧ½a8+edNN8BM,wA-حgYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9BP2CZz眭5 zZ4"w+%=ekc5gKK .pμ) >v@6-37D2~ٳAT 0jr2 凿CJ~y6 ˵>` 94wWEylH>leEu?^5f%`0pEDzaSγ"+FŅ> gU0cN+ rxC>ѾcBr! /7;k}ȴmcn7gjyx̓j[g sKؠr~Ԕ2=I: ۲RG>HK3ɽ+*,a3ROhxdm٧ަTEB,-L 3F:ݷH>Jv6=*j/Wi Nuג9.Ϊ,۽x0&iN1ܘfC==̉$%[skȟ qI&N _} (=*ԍWfts RidH׆U!JWR!RO0Jՙ(0NWr;k#^g/^Qı C-,̑˦܊>(sҾ;~*n &K11P)9oc3W0b78P¶'mH RT D1ɪ #lFǯAG{1?éR3$q>glB`_gYZ80002be0ac1ad64c78e43af8dd9ea24c689a8b4f5edcd5c29947c92ff6acaada6d85dff99035d300 bd7565838d12a9c7d88a8fae92e320ad178d24ad 0ece1e32ee998812974b3d486c9f352f8e96ac40 ' HOL-Cardinals