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 7 | ]/ Transitive-Closure-II:threads=2elapsed=13.807cpu=21.256gc=0.804factor=1.547zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyߪK@*CHT|5A.LDE-<-/ izcفk+uGS!z`@WfdxMSW9bBIJ 1`i n mU"SN+:qkZhⷱgYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\L6Ћ1.  Rv,3o1:h]Ed ] ~~QǙv5cJQpGq=/7AG=!@ A@xCfb{}1*xGMna~+ɆNcяO$ )0>|g)`^ ^W ;~6+U[9ٲҒuÀI<'{gYZ7zXZִF! O]ŗXi%92m/'\& ,ۜk+2끻k~4З%@,wPJה4I*ˠU:[kZɵ1eiHg^ڠLռDg^`W5aI.&'qZo{mjRޅPĄ @saTJyA>ūhkBoV.sT'%#a[^C~{iEU-3JAI A6_a Oq" "[n:.B:f.Liu+Cn,《5_ʾ1-A 4H TM+rT rbRq,gT3ߘtɾHcQyڟ0?5㒕ur:ZF=:_Zҵ\>a [AWTu48s {2:d cy՟_\տELt=vѢ?E>A@H-|YqFi i0W$duq1`1:h<kغFlJ.wP YDA8A5,šn2ɳ^!$*hE&+vV6ʨSi'18_ggH D?pe*5Wm08&wKi?1Q ȐĚˌC/385yi=-I(Y6W1qjiEZjxJ{7^Lj\= 1k2WuP(8p ^8乯>*~P4Θ/?t5b3K, D6Uļge*LnH H=s`T=Pd'C.t' FD`Aߠ"Ccxeeċ:u Y58Qܾ yJ*"O@NL jUƒф˘ч@I Ϛaڥ