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\dD ] HOL-Datatype_Examples:threads=6elapsed=102.742cpu=358.584gc=32.472factor=3.497zXZִF! S{g]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQw!nۆ\x/zf~ͺtZT(uLCxh |anHbb:5 Dƒk&w@=Ro4G dp"R \N48{%bO9yTJJ"@N#L"0#Kx>OE51mfB/Rt̏ j{ϿUzOZ(fYyZ_i[eqG~-X`_N 8cxM\tw.S#+ĜA}(u(' BOO^LFZVMc,>&Z[M7I,N1͹ !bE۰l ke˲e {_e &s:Pw#0ʨm,E5@1e">QjBe-J2 ^h!W'93#gdдWW3oq1rf~>T+<i*o/Md4ªc>Z/S+@2-I_,X<9I>P;gLٽ_GvwWvÄg&Q_%SXk3ݜ͞Їf̚R4G!w}}ZfXfYȄ%^o^{mvM`o3Ox(TƻFi}Б;뱗Wz,-Fk "/ّQ|88"@ۋף>Zo3:a;nw6Snyb,,IOw K1]DнpZWiٻ"[b=7m&d3BL)pe|ؿSуk#DD'&|Ze3yZPO^*;،Pt <8AP$EdzD$p} } i##] vT\ se'" v Ӱ/pCQ>tLhRnE ( Bf w͸h`.7Dk9/ <(X]1 rP=JQSwrZz}Y]BapŠ<ÛT1]7w \+L]8#~3i-;' cbnudY:D:J\6֨qy lZ2p ?o [LV}6_3"(do3vb=y(F7jJ9x*o HDDqַ@ѱgYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&XBC:#uQT)7f VPn,\p[ g ^- B=VdX2mYXߔ5u(pt"x= gISkŌzꆾd'~6&AדX]5}@Poo m{Μb .)S@,NS^<29 3aXIJC+*;:SIM̀c˅ٙTO~De6*|9‡哷4$YZJ?ٹ,VJF԰CW.ǮE~ږ< '_'4.gf z}&TLfgD9LH0,pxd:.!\Z&u 鮬Ո]+k%Yϲ#+I5O8rF2Jaeq>J! } x4a%vz\3m%.ͪNڋ:6sM!l\LA~I^.xwK27>=.CfmotDS %@OVkc˃ aN~[yĴ_7>'fO6@(ʗQv|E=6&* ʮ.)X0A/h@e`͙~8%'^5l)|b*;}7s lyȍpD1.WརoSv_ResݴSE$ՁQ2L* B) <Ӽ|mq\MVXhi)b`1@Oi1$rs iL11@GmQܞnPWε1!@n8ȟgJ|[%]\zٺ}!(!n'ԁH5FQ$VE9q"*[x}Si94EZ8=t_&&Hd8^LS "g)aπ]`cOGp7+^30UcLGk)ܜ :aQ^Koie^)d/(LVJ+>6A'9ގLspdnp\niFj C:߆+<) ALr̺ZtR]b 2ZGZTZu*$zA9Sf%hXȁӅ5\5#Գ!Y ]ė-a f]6[ :s\_!9vQlxru$FBΛ`I5w;L#٦_f#!+j=,^R0_uޤAݦNP9.2Cᔦ猹2AI#`XSc8Chb`J_+#,`=|2OKE4m$/<٫cXWuWV +VxK׊yo[U` ˲.nK5nG Q ĥt'!렚d9;LA128.궎y"NF]qd6&f|3u sl՞ƍ-j"^ āh<6 _?b+0`jo]ب;xk_w`:ِ@faQ=f~ڃƷ.Q|$LGޞ#cp|o q{b?9~10$?:luWEfL2c)PСLp}!O]\F:;6ÝF}CynQT7 O #Q(FF7,3^_Җwp"uq<yb*+Wb,p{ ؽҥ[caKTci [q3VPETfm4*7`lxSN(3}GO=1{r4L\ |zU}n{'4n'=bG{8Ve8![ 7 7eEa }l@,v']h\d Vs=a@ $gZQ02_о(W5SfS̵U+JSFJ;{`*!r_Z6WB-y7G'`{F~Aa;" CǪ&< .n`^&(forh^_fv$L^}+NS'2cd|.Eԓ}_h߱9/52iZFܟ;jG =[$Vzk*h0 O{ױ`+X#컹Sxʳ ϤΓ)>'&MڡEYݺ y%Q3r >N%_VyC%VnX?D]P]~j03pKF,ƸH5E a܍ɺ,$(mKEF3l$hG5GK.z:G`Y#N\3?OCA_{Sf5qb%2 m7Ll莟]ϸѾ/.x)_,h+%H .t@Fj̿HGq>o|1+}߄L痑.)"Ytց*1_ W]{DRR 6酹_1Ic86,0N&Z/,UK 3>TSC0ZVcn 3qMK/H;CFiOi7>lrŜH]>cdžJGw3 M H0*iC?&g܊Z>Yh"Vӱ6x-(-#kxhϦ˲8 \ acšϳH3tTDX)sݒ,jX`#6%:ʮ2m~pt3vكC\5)4 #VxYcSa##"vD9̏,Xtv!.^tp Z"jVez<QoPr ]zF8! 5PrV7ȚơJwa#Z8ջu( Go2lDy#]2| daWPoěuȭt <:Hwߧq^(RREƷ+^b9 Ĕ*םPd{)W\{4=es.zh߾\1hG^xD!|<֘U["V=)M&HHVpW$i_Q tVR/of?ƴ}aC]Pu*򢯡kN"3E`stx >~ KTW#TsF%7HrfHm@W'ЛG?W>k֤Ģ'זOR}N|"ᛯhmWS )TdlNYzs2H60|0VZ6e])wa@袼NSgg3^91L|œ0>(¨mMFn-# 'TZ 7= ͎SivN|:W\$;fRwh S8 ފݴ8wAC |3('^_jkV-(#̛gh(|MI@3 X ^_xHN'wCD9u%rʹ'] ԡG)of)эOn\3oS7^KB*XTeP-߀48+kҠMvw] rfL D]co+M[T׿'&^xLX(h_KKx,#\MO?ҩq"+1H:r-SbvlA'nTkN :hf(RJپ}/"xDH<]Y2y׽eڽ9YQ@U/% &)!.ؠI>?5Jf!O~s SSĘG>(xKo}'͹{үN~·vϛ1Oj`=m[/Y`HCܢK]"F뚬BSZ T ^YUy/ vI-` O@n|6,{k`4oArd>7ОUrFi`❓M0l9B(2Y޷v\g ~5yOWg]GMkg7F/eC1DB@0ڴ=M%,UԽ2k !jSbqV|{z MU0$1Rf!O%Ԟ0ܣI