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' $ll ] HOL-Cardinals:threads=6elapsed=7.957cpu=42.148gc=1.492factor=5.307zXZִF! zK]ŗXf1-q恈<-¡$johkX2I)']8PI{{l BHoqS>VʂY"ƉmߺJ+#0(G5P| XnͧG\ƽy MJ=wG#3s{ay}4'E uӠh  j붪. SNX~cDjn,;RsQTRT;!В2A`'i8H "7ۑH[%C-Jl%cXSJơĹl/1i=FmJ4RM^dkO4| }IX,fI^G}#Gle~$!ef03%i=u"(@V9`4"?yL&5Oa ?Ug95H|q:%8,HbmԶC=8͗w[u.]N9p褶Zzk.: X, 0l=#[|hH_W޵bX&3PgYZ7zXZִF! ;-]ŗXiɟ1?ߟt;9BP2CZz眭5 z !090~}a~U yf@xi 3.Yyفt]$RWSLkwmi"橽]f#=X4ݤmZjD #lZ@("҇:oK;nvʊB:Gdp@uJ4L]qnԮ˕!^4 $V~&|B(c_Z]%olnkpňY