SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 >) T yS]HOLCF-Nominal2:threads=2elapsed=25.418cpu=47.808gc=2.316factor=1.887zXZִF! ֈ"]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6QP)Vf 8Mz!Xݱxᧆ$g q,7nNX<|`"YZ[{~sb[s} dOU`v(erXtG.6ǴΨ=Fq&4zn08vq8]?vj9)\bS_۔}J%#3\a$- H?چ! $'[ыaqvNNQ+ `UДkr\qv8Ul>t#?Kpw˕LT^IC$-MZ#mTB*]ad?X5X]|Xi-\qxȍ#C64 ۙ1hٜ tyX.}&U4;_P+I_0 ) HOLCF-Nominal2"Hle#X`; Ogoƫbݱ5EL'l0 2.M @Ks+fW.+vZŘ4y+1AAjeP9Z^42K=g/տ,;' %ivO"YIdՏM]ǣ*:Xj,4yB jm,0kN+N}6K6WR<l=#dˆpPC|7V(s F_ ZHe>PSnh=根a#)ntFqXЙVv۹Sjsj. "DòoyeDKD+rr%ыlC8K"qO"OG!8|^;)ԑ"Y)BTz<1@:Xq2-,ΤȬ+\CߤЖ P,R//Or"YˈٙĒ3M ɽqز?~"N벻\K2cYYh$z]ih#ݢa-`\UX9 I'.4ԣq\^$IcUt1DZ!cIA 4+TRۂ!,>@+T58г#+^ ^QVqÅM}rZaZ2 &h EFI-Kw/x@2L?_mAtMCrYPJ^&" [գF!fX\ǃN*"?5.M_9ˣ#G0 cz#a05@"%s_|>nԐ`%#>D)s:~9Z;['#ä-헹.iشBS,Qncp!TF~lװ249^R!MD?*et 0 90z!]u%ϖzc;u'8mNtz FݏȻbL;#DEҘ('9je5P ՂU{kj L8p,MY3OQaxHec=+ I:]ݶ6ylFccv^CL?MGnWa2  Pt܀Dl|˚DYo\ԏb%y2Q܇ӼUMKAmBhbrvvX,Rʪf ^$;` cm\E[enuwp݁W^d#nz1j&;V!fOߔÖb<5AiPŌ1ơ@QC^x Pq\7p\Wdau6«:lg\08TSȨq_hwSNayxlF-ö ew|%Ơed<쉓AF6k)8}e"щcEw{ Ef9 B!h3iiʧ'@^S2ZLѰkcXX[ޯ,(M}J)?\d2#'ZnD_AKs&3],+? Gw z &+Pt5"a9_$c"&IQ:=3p%{r 2/],jDZɫ`)⬈sY`ŝ 5 qIWskLKg͏4N(>?MB'"_!Xe83#&JF@w"{EA\ 3> @n|\ɂ`i<+/iIVg,L:^/DdNQʤIB*?..lj@Ϻ^#7/kh+?,_jK(w6۬Bjc@} .Cj{&Nph; ,待N=_tHiixNl31`ԍ$^<e}Pr`O%W#8C4Vnc6*~q>,q Me( #1Rqg6ms)!ܖ. s׾=X|Z*:N | =֐f (e_`n)2?fw< ]4m{+P-ז"e8VVi~HOׇ`B,)M­иNRRC-9ko~"!~)-uetdE9PIk>a zL4DzMu{ H^]7GDp6z LLF6LomN]t5!2,?ƵsR9 ɹqP=_D W|J@{ֲM'dO蔽uI (^R"ך5j_[عٚ}KK1hpNx3b-SEV҆$M/ 챭o>YWZG cgֵ [2 1`W!,TL޽M0NԷk55jGRީk8GQ xD3\Qq~!}Wt4 a‡M ~d ZzLk2?怹n{B#DfR}hoAGl19soa@KJXOY~yjT*׫p_]4Za%wjB%W˒PJă:kaN8߿ bhhZ7(xAQx$Z*)$=ftq%ᖟb FL-f`{?|>"rcq3عdB"Z(@aW"H2gYZ7zXZִF! s]y]ŗXi%UL?ZnbΣׄX{T;*Y9cr {QSt#gCEOՕ0Z}n ;A( ̨ޠ_&Q"lY0_6v47yJ 7)T׍mi]/fvˆ+J +}?r u&N_P* 8.f?]'zUkY̍?Q r9hV {Ym!W2󐆔L76wV R̒ d,4cˣ" =?՚#W#cƍޡGz:^FgV8?(k^MbS"K4(#Bcn >=+u}xf DNƏQgHP{s\s0U%l:E-'Qqw*e:-^nÓ>X'K&xu5k ;Ѕ-@jFD>~-9)>x9,cÈ}u;ı9H=FN$[nR,r5rѝ|OVß>4Zq`y8sz]AcNER#' W<Ѝ'̯H;pxݾҸ4 ӘU 'Ob y0 j p'd?0^7#?܌5|}ڥ河5_nykPy ^/D0//|;[DAbK Sq'94.E!^ ZSpiU\U)Ϳ7y|@bmT(p-Eda輡]sv~@^t{' J޸ lz