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 ssj/ < +]Regex_Equivalence:threads=2elapsed=53.782cpu=102.512gc=5.192factor=1.917zXZִF! = ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÜ1~<1N3cN{oA]d͝".b*o3 ~W %ה  bqcEk ;4pVj4ʐW+ ?Q%ЏƉPإ 5Rh+溠)Gxv2GGjMfLXNq|jGD?iڈY"fc_oFZfv~)j֫ -4V@YdqDcy@0lQA@JmRh S ?#ğnCPc%Y{S9`ԜN]bX~, oS`- NgEUf\TZ8jڳo)|itUZ/́#a3x,xDL}bL}B*R>BD [Xqq0rgZD / Regex_EquivalenceZdZM ɢ,,UkZ(@\=kq. zCrG]Z:m wsh--x?]L^ @3pkBKR~hac~>XWdwP`A?G I Vʀ&>gU1HVh)4܄hYJ[rta¯\: ɨ &Rt13 F\;?Zs գ?) Vd Rɽ,E줼gA*Bѥj7ɨ Y-GXLB€g le2 9.$>%&j_ eA8ozsmd(:Z 5  ۈc9ح| ?ŕdnC>1t{m-dېjUF;JXcVg-ْ5&Rc_bu]^B>,> ;6'LSlCNir{nđdIpcPJ:]m7ҭ֣5v+A[c"о(@25(( ?a,6v](s3}=vQ}{03o;I+W =NxI#5 Z[񫄢;;=gujP{ݥ13 ^+CsE2/0 NAih *uV1Pc*b4 zC*o1FHGR%u9H QK*9d -RA%K}֒s5om(髿%у+%S^m9)[AXUry ĿaLr-ұ̰pP3XF;Sh#kG /s(%]wB{8Rq3a|MMapwΤ"ݛQoFɭf% D+ۓ [weȣ?;紏Q!&{GKQ'h}S[ %%"7t/|1Y q꛶43NA,}{5# BP4E%Db鼲ap =0jjV8q-[:]8Ds CPt}2k*8Uw4]~cѢFp tÏO$_8X7:1kyD(>Ƌb!-.hslPb k-5&|Y0āISd7+hlp(gWYKR:ys7s}rS zYXSnM"XI {i8BZa2,.Mc A3jq:x=]㢆&+X/x@Wm.0yϙMS4h\1s' 'Q 6rkcU 5Pٰp ?rOq=bm >hlU7 X:pͺIa.&K@g<+ @E8B;ްbF<[0ɂ9ƭ2Ѥ|sw 9#%~&*&A;:A/ Ut%"u@^EorrV'Ws[/Ix8ШiȗYxӌXx<8M "~=_81LzjOUW3ǀ q<9_nRZ1n &G .Ռs/vӮ)朢z!m%fr9z(#G]E R7nGIetLk 2V2(_s۝-|/}cs틫\Q+K= .i&<@66;2Υi ܸWj6 `q9{i`8SEy@'&SB$W " u(HҮZ@h`ĂrXb?F8S HŤ9]&st̚15uZ6[[#A7dO(f`!W%&ܝI;˫_:V`w숎Mh'8xK[iʛ]ʘY+ ы8C7n;AhL-p *o~x^%*xT Áq\ N6}3D|L){B-fP!Ih, ]ojqxلQw)@M8Ѿgw32W7ѪV 4Ӂ98:np5{GላvDy/<jHRaVLpb<# \%٩nz%qň ef-0:ݎ3$ą{t"StnlpܯM(K7 VH)2Rg|@tzjH؎>xg_f1Tٯ1|2-e۱ԧˌNi4QLS8OdjK`lAΜR$y¡PX@ʆom" 3V|r& ]@A?C$VVjgfn "wyXS n8 4 Z]E_{nQ #М=Pn^o!T/mP |Aw)K6U5Mi"o ~$s1<J@r&cNc4 HTg ǙO$Sp= "ЫJ?PQ o +ç!{ș\6y#%7hِb3| 'םaGtOR=thw*'j쑍c` Ij  VEԲeWC|i J͝DF5@GM wї>*ҤV@ *xQ'_9<١=uCk3=k؂T1>e:Ksɝ7fI1a"g-ي)+\ ƕyvHKeS^9@?u4?a|2hhQL&H, ͕7Zly#JYgvcj+nAPTE3LieH˳y %)Bի~o$B r4B ߌwb&`6RmW}lmAv%"}4Ytг#\8=;+:1zZ>(~1x/SXHu f'91/km#=`_31mG!'D|:„rg5+6;/}++E~$xsɿ.]|\*jI11:܋_wۅy!Pcl\Ib=$c0s6* X:ʢy/ RB0Ĉx ^oX0oZ~您8~uBixӔb>ٵ:UF bXz+ļɖ|`o`fW5ʖu^DJIzZf`l`DU**3ku8~C~|:tAQzwDIv)xA;T7?ŗ?esqx]b'uIZ$