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 //FI,|d ] HOL-Predicate_Compile_Examples:threads=6elapsed=47.210cpu=151.560gc=9.036factor=3.217zXZִF! N]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}UG:n2VVeD9xk_ˎa֥^TGYWDiAi,nrg^lakwӊ}mKwU;jl"cU,]OnuWx5=B< ^]9T~ə~(>MMwBTOd񺁑׿|a [)hX0T,\ܩij)v.adr.\Y n5rK(8,bk wI|:=ƛHZ7BF;SSF{ZK{೛s8&krjZՑWݐ>Wހ:^ƘU.(w];7\ xGcgm,=tծ$EA\i\vo*xt(/:irS}-uEŋ)0ʧ6~2xe)42 ]׌{V iaHe2aIX%к}^\^yyz#܏I* jg1u f ߥ ~}zi a&2`G!r{/iT]EI3 lr6SiDG7Q.CRLƷ|LڗrDڻ. {UuK䲿/|KTG;,dX>1`4 T^`tw2ጮ]^d棋SKbXʑpͼ>aHw:Ð!dUg^*`%%WnSj%|>ZN1ws~ < /5iڞKn32ldd$u:%a#\= Am<1Viڲ^gA.i"ʯ EeT׺b:ȓlI/~M& 0MbZWVOc.%`Sh7c`>|)e*dgRpT3Ce\抖GSԟpxh) w&^}cHRx^ő2;ri6AcֺgHIH &Qco:i#-7'rUz@[×2]oΧ5MrzβQ~GShB]Q 7xFvn.L"3OWNY0⧔-H]J^`DUYN9zj'a,~"K1"x_!i@Auh%b2ކ;3.ecẇN&c_*S=Yq^YRk;cAԣ(BdN֝Hᇤ $:Ih仔 a].RKX(-@S4<y0vr;lvn%lqy\JH  (,--_XR; kgZnr*Hm6Qhpd/X1'Q Pץ%4v~%d,4aIm<ӅQ E ]~Y;ߊ ` mUvʃ GsA`V~&6Vh[{whE6&Z0 5 ,)n/u޵hX\A@?Ω{7}kԱgYZ7zXZִF! x]ŗXiɟ11"7l>_5N: [J[6څ*(L`zPҷHN=U=P.E(_234X4RՂ)\DH}lZ2hy[1( |l MD"=ұxD,|DITkx;Y ?(lvUOͶVf]nҭ]@zؓn杣Ȇ@~ ?H_vyB/B13j Fp)&[YEd\p Ʀәv#lؒCq~n4HA2a#Pijw@oŐx** @ %GDz Q*F7VB98' ;Gk`y9u;2c%Y(+^NjL-J̓w@Cd@r)A^Sb^yJQ!$l(wʟt[bh# E?g~_7 c7H勔׼gʑ[Kӕ'8]\Sv?Bx6S"YAgįܮ ]C1׎ay][l (M0tĂB0$z )-"o:C4‡}<>bm|^Y26x9' LxR{'o*7cgr"&] mEmUN"(4ij+T2~IqQN'\qo^=fb'{ʙrpYIv6gsD^]9NZE.6މϪʒCx!>+&?shGPe %fg#DGбQ3|T` 6Pp@ XQ">[vZtE2G)y~J2d5X#R ~֨1% )K%`H!{bO^iP89N??Ev]eƱX@\z?5 j`kiXj蕞y܂uv, a"Dz\L%kB;Nc5ʱ_:<\I2D UZsk)Y*q`Ijbj*a56(VzȎm!¨Sփ>9{KSNz B)Q$L|ixؿ5֋SU L1%0Qg&s’}o){x$PI ^&% +49 eظu٤J!'TFC/0i1sDC+NY3bWX*ɖ<*&FuW 8ъ mϊjXG IʼnJEDyR@/,`8,F U)B1:uk%o L;ݕ;KD Gwծ%׻*aNBiv6^-Ibh+8Pkv65tixp9>Y mlڮ۱|vbR x\vJ'nqJ8V5IK|BDhʹbu+rk+]'9jA[r ?d9, 3K prI@Fsp%hʭSH3H3`{[H_>|f9fscZ--3^qm:ÿs%9'"8LL u:lnQ|Hl%/#\Ԥp^d\. LC-JBu/M@d1+4%zkoNd["jFC*O`WMjl&H̀(+K>. w/KXyEiچnO{T#a3e9ݏ PAE '̹n!|/"\{KDYy"Й:]r:&<gE A+-M"iS2%4]@wpZI0*PwR:e {4Rq׫危gYZ0fa38545d166aa09599c30b60f724edefc11686451fdd790dd5bb3b33bbac5928fced7476c30aa1d 6493d4a1efdc7dd2fb0543b9cd81fe24dcd625bd d380eec74ed40e71cc9991998e2bd91f301d6cbb