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 i1 ,< ] HOL-Imperative_HOL:threads=6elapsed=42.491cpu=61.800gc=1.684factor=1.457zXZִF! / ]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l44665$l(ZZaXMoxH/o-ړvU"Gmb_n{/i|l=&)+SvC|5 $J[#kg҅%,K[E*s N\ķ P=`A ʕbVL⎂~az6 >Kg[35Ce*;e 7OHbjt[{cVM9j#f8B̏ԅiDCrPϴk@|^idmi 1 HOL-Imperative_HOL狳3EpĘEEʁ%;7v.Zy OFXz˭s|!'|Vi2.<{Cض\9 ;w]ݥ^(8*檽$fbsK#{D|D"C7 z((>MRz+-Ŏ%C`ho⺑"Z_?uLq`^Ot>MaU{d(2l|kT@zyW"p]Co} ߒɑґ5yBA|\ϪҲ s/]DnC+[ZE :ЍbKd바$qY*ѹy='4xn43oB Kr g8(+>^v 'y?Sz(iڻ2/yL"oC|kyԍ.mˣ?D2 U+8F"'4IMhu7 + 5 y&rKm ҧ*o !(t:&i -9w[ܚT ;ڞSa.5'<},>xQi #GRGu>D9!#WU ;2>t CcH=fe^{9qkN<#J>ۘ>^t1 JElf1Z\>0hVw-ݭ\RiK"d;ёMgG[1[xxo2|&(a:&6n[tg%wmAnH)e,H֬ Dx?gZ9Ah+zmW+6 ?DE0.Tc^ 1GE/;Ӧ!AjY5EG-OoEs52h"F;u/ڝe!);D'3F4ކ$ÎJFG{-<ֿKqX ?xiQ15ߣ-f!7F8NZ-S)Qam )c$QֻfU}anOnɔ՛f^jBh;HɃfUbE-bYk5Xӌ6IVe% ggTuF<o2Az I}1Ó.%X0:uF!oK_@eIGFYs?06J 2:BxU8g7FVzia1Yg"=j%a2B+*l!3ȃhMjB)4)4k gi*̻>< *` JR8e.G}JVh; ]B̄Cp襁߯Ԧԩ)"Eui<%,-rb+S?X<"CIok3~$b:A hmf(1<g݃>dgr6^&)h+.-T`3e i2iaR|~U$ o|)0Cw%?'Kh<"uҚ)lëԈ2TζǸгE^5\I2$-"ԍ]̡1WވΏXg.>UQ#]brQH 7b74d:7N1TeZFxiQo%k5uzV Zz̩{L 32/Yye:|L($ 2fbM{53ʻlU)|;=`ꑫE/fh8NStVGLV>bUѠt+% x 6׮:mUXlU*} r.vW^H?rA.3NAG伶 sND]sr6AB]. sP*x/ 3B^λfP!Hd Y-ě1(/+Y*Q.,.ٲY$lW[QYv='^?@WNT΄7s~5^2CZ5 -%X!"ǻxW>_DLeRüB("6BjJ[VA<0\LM?EMбgkc#I jcgPZ>@߀;,nh^^3ж~mD8--#D{:v?xBDz]E[>zX ?xK`AHSL>"'uZ-׃2{?2bˊ8 (Z (4OW]{X{G:>F.FdPur6]=F-/iblwe̓&.VW1k>(smƬA _eszL@BM9%