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 m# < ]/ CISC-Kernel:threads=2elapsed=20.829cpu=39.988gc=1.764factor=1.927zXZִF! :]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee8j׿h?IGC }@K92IK'4I{3a`b:d&5ѯ(36۠45 XdtC{*-q9Mů=hg8u ׭INpޑEN7sf?bIu?g:[85.m: [Q9&c*ɩ>/"3[*Лm\ ya#+ :3WR7tgr=d&X@ \ʴb9L ɃZ YzGC*10t$OM% LILbCTZ$\ B%6 pۚw׀|lYD=7 ArT.\buz6fb+gL#a%CRV7WVXϰzT"WC^t1" :k-sQMM]YՒ#Ufͯ[ëgE}"Y>^Wo;X:L5U^ 'K!)zrswoeOwP(rdJ8bZU a" H ofAhWUPcRyۗޘb5tTSXBY `[ k=ح7bH T=Mp)NwenjQM[lȉeY3n3Iʸ-?K|j_h%MIMUh:S.re=niwEWx+ иQ@:15Ba{ (ڿv\K#Bgc{We _5CN7.{ ַx۹)@6F&W0pƩtjͨlxiܧDRcF`k8eUPJ1Ť KI< #s#,HjF;Q+}=Y=(,4R}e2KgNUwqA}@/ f}MGfA2"F@5Ep;*)^n !?Hv/\\Y',fOj3pUQN˵YnDmЁLp:޺P:A**8S7tC-q)_S_uœ0:)&D6n-yt|ƫf~|_Oη+Pڡ\\yg6 Za?mՂ\"󢤨5FU$c_m]^m]<^mGqg%AcJ}nѾ{A FKfT"qKo d3RpmJe,CUHoK!?8Nt.NƒЍ9E0J_  Ո#ѽO@Ot54bLR0JT'_r_rWܐѻҷ7m^ ig圖FXzmyv0'?nԍ?:$e sNUm˰R2F"z!j] qY'V"Q)k|8BtK ]^N|ӝ+Ʈg2`P^3Zggxlŗ?I}_6 gq 8t)ImKۊx"t1wel|>GuWHt0_Ae \u=C<=< ~9Q5ņ f$9Q3?Z%hl