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 q1 d ] HOL-Imperative_HOL:threads=6elapsed=42.655cpu=63.000gc=1.792factor=1.487zXZִF! 1}]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l446׬7cL'Pw'uMJxEWhL0 7L]oўm: $׉tx* cO]ZxWo9}"K"Y /Dh-|;R 9SQlkpF6qR@B; T(pIJBǂC|C7~X2Օ̜ +m'P TuXYCP+[enB_Ïueۿc.wPK,pE*5ڽE d%AEM$|T:k>).-Y+2p])nIE*;sZDuRKUYxLrZ5)!F#u8(Dj&ƒ`;Ȭ+kbgѥ[!8'v˕sqW0S⿩[jIϪ>\w;-N 6d쥬XT/ޱ8A΋;ЀE^:VS_f:FnVrZg@DC EeP`Y5џ1=/O{ Mϴ o}6ԆţklҚl] bD7'gYZ7zXZִF! B]ŗXiɟ1nhЦx"n_8N]( eOtd=d \,dɴȃXV\3K1^T3mBf(՛ù{;}8h ܛ䬩ČȲG]VYo;@CkQf1=RKog9"kM][<;b9o9!+$O" a1D`'+psdV .4ΝdDˊa/=?QâdJiBiy;L%:%0Y>2Kvb5X>g Ò ki[+{:Y] GgYZ7zXZִF! ]ŗXi%92)n!.ZДIrm]J߳#Ru#%Eɶ;n8_;c*I-C$c\0 .vpx(=u^1l%o8dFӆs'%7mh=l`Ճ ͗B顆|MFJY)Y&R‹bJb~T`=ƾʀkP|1%l?粬V++E7\ v!9 BU@j~u݊F)_LZJ|DKD.WіUE GJ6mUzn_l68&l. &e&123V-6p#gp<Dq[]r )چuo%#l8.I"fP|xzdL@"UmO"Wd1A W=MhKYG -1e|'i'! ܫr̞bs~FbjNwרÎV5|Ώ_EIҜpɣr!pð4x?p^@X(i,5Nhq/sL؈&o0Y#ancې] @2IvQu3xz̬֭Xgsk@u.~;|0FF&m$a>:Qt42>?*8v , L2y&FF"|*0*STFv;LLH*ⓦS { 0XH61fϪU(Zy1׷沝 :=*dDԲ}SZ9EtF;xd-iS^t)