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  p4< ] HOL-IMP:threads=6elapsed=65.886cpu=271.568gc=16.128factor=4.127zXZִF! r ]ŗXf1-q恈gryuPdX8RL/r+4"DGPGh1 [L S|W~C{1hگ[,JWbhWE6M9TŸ[9-PNpQy=dG\luL4PD͸Om狛ӷ?K CJ$V' ei@$ϙå -lo? 68e [K1:Jv`j)H<@ W!(*S*Bqxx-T;S=6^M"`vjb׭/T*N"NvVZ$ o'ځ??p}sʸY 7טБ;uWgv"{~@/ϮZ\#m!La2#^D\q6UԧX ׵V`KV WHEO򲘉i#bMTkx>HKCqtCG3ku5FƫEVUVfѦg;P߈x}d@ybɜ^;u\& 1 FT/.S>ӍL1+;;.8F 6`3MQ/0ĥ/xLKtV8Eٿ -Q $YxX`K)i8&T"&%a۳VG?Z~Q3kr8iD~^(l]N~d`XDsy~ȔNp߿(FX"tJZ< T-ns`%W,f4Aُ DnPVYظl՘]J*_-26"ZƨBO-M2LBk3H~IJ'Ia4z슸]簶'UlVzC(1W-\ ;ř$rSzxS?D3:W|2W!Ŷޓ>;0gx"ȵX;uڌp'C'剝Y1u޴6`Ķ4?^bS D#2A9v&+i̤D`]"J0\d[qY x2-ԟz^'OW[p"R& '*}Yŀ6,RMdZ].ܱlw=1p HmhBA#O u.@{sosKP?b}D>J*º4[ <|f>o_*ٮrMFiȫgx ׸2&?%gpC )j+UF#3hC 3hLp Ԉ%Zl2>§޻5oF8fP{qZ~^Tw#-2{@64yi]/mb:9Xl8[H]Aʌ>X}l@rlxGyPxe~=-2ץ[R/]߉ʁuS$7Ke!ӗ`5&U'Ǟޗ-4Jr)]WjV1+FvSmV1! P! :>H@j}ʭH?^K(XLc#a#O"=Tb:>3vJ܏/wKspV?o|FTv=!dNX>U|3KBh=3P%t16cB%qUsy%C3(h25O܌,[(ur5H ĿxŲm+9iDd(p$NW*U1_ZOcEe{R An_t)iwwj͞$ݲ-ӏ_bǮ/X8Kx4ZҖ}K?RCasI&S1 }6cvbwMxHPTjAzz䣷(A m #v `\/]/ʼ~-tCOyV 5/h~)d+ouof` Y8$ێjp3jp ,ېF'\xsqy~:[>=|7f\į'Ura1\(0tUS;庝DƿiH/JYMۇC@F ?S.f_S-:ZIjzOeԊ>6=R/)J.} @ɢ;VʵtC_khUή 6zFjEMOۧP{Z]ݦ,M3SnO83E{i'%݅H=5*'K9l6=6 6 /sɏDDp9!LpJa\g};gNLrg]V5r5\r֩[Puow:5mƪ i3}uCHӣY*g ?*aDYWvI1ZCk3U0Z"s`[ X.Nȃm;y,+kdy|!I׆cQsėPIتs٢X +w_+^:\]V铜\frwhI)S 6 cULJecJK`tԴ$e)`8K C$ϩ VXomG'+msؚ:SG!?tA9 <ESHpJr+Qe:&3M4ꝱEw[\Z%w% ׬Wc@k!ɛ$^mPee1;~dƈǗ!N&KJl9fo@Rl>~bLJH۟Mݮ[(͙r,1{40أoVD0X*g$yAcpZ0$l=t6Id&5X P^=uXL0wl̑_ivU_b*ͷdswj1kc㶶Յwsk-lMuF(;u1~0%;.e-/3S1z&o;K$8q;8[σLt]@0,&D Ј 2řׇHrC Ig! ա1f^RdsXNބ4+Pm>UvR /dZ7b6J 2>IqST ?3YDLA>b{:,nm]M|`Qș[[Y}'[X8&;X$ޡ3#ڑ1<>nvlp\$tNC*U~|o" бO)M/} ɬq  \hlԆڂRTБ[nV :#FFՌ/sȆ뮙IM^3Z!&H̨ˀ@MEj|1baj< /ЖI~ _?_,x,̈Rc h+Cl{ $p/HnGF?u-]29ICAfmϳ-mn{a g$ٮBTJDPӶ'~ LЗD}D4ubp2KjoD3jʿ5% °t]]y<&0=*m&d{aOׁ3wFK-mզ/=Ga^4DdLU7R-gԍ3Z )>Ņ;9 _ !BK{c5SfD2y e:G/ÀזyI Q8mOK;Z6䣝MS!-6b[YѪHS[w--EXkƛeDmPK=ԯG55 \~IZ*:NOwF+J?zf#H9[cKDIIZ\OqL51/WQf/ IOkJ“-zx+G(oh,)7bgYZa17d809b3c89875db985e0a4174cea2fc44c5b0ce0e98f91eaf585f03a7abae8b79b7a2007cafdf6 d1246451ba418ca1d195718ae40514cd22ca9d6d ef3004184019dba9ec559832850c397aa1dbfdc3