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  Q Q$' $4 ] HOLCF-Prelude:threads=2elapsed=41.527cpu=79.184gc=3.416factor=1.917zXZִF! 1]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k(yG;P?cyVwnX=p-=+ Y1UP5,kD- N}B£n: 7[^h}#V84BV,T (? {Ow1ûэ oLNV 5:[bWXhˉ fjQAYJb*aM JgWx n&k9v\v~O&lPDZF 5*ŝOnyR8!eui˭^?Ne zqNm]hITrUjT o4:mViQNx(gX ]ħڷ眖+pZ2rw)R9m~t('}j+|QS>/L}6w8G@{YCĒ!Mj$@ !^ 1+ayNY >p*Jǻr+:8A%;fV\x'#LH[08q|Yņ5>5j(.V>c,* CEW9Wxɒ@\DL*m0MWξ8D1Cxwxy`i-t zn(TUsԷyͶ~(](t,d3 :Tb9]Z -`:zҲIJm ' HOLCF-PreludeaODZdo|ܡ9V*{iUݼkJUmh ];\K3}AI$r_oVEv1ij][+Vx`G߼̡~ v*EyvT-I&? ghv*D @p{V1T2 w+nupQ ʀŸiY4avܦ3;ag>cK@%{5d&sFF'/ad+Ίa2 DXIRgqHYEdK(yL#0 %\?0sDFt)Kψ We,;&" 9hw|~[~@N˜[[ FO#< orV׌P0;tf <7!4V:L?@~_4W_Z#%n߻GC\YF~>ZVXr |eTz['d6 S.ZLJӠ-l?"W2=ͼR?dB)V`;%/gDZK,B:i8/=AO]T!&|c5+]7+I\2qLK"V8?.h*>j"o+"m(|]%Zë/ǢѯTYAK'kzjLx'V-FJ8&uҤÈ\q_ CMjE!$[.\xmr|syd/NB*8L/#\kwF~ 2E/C- 5+t!o'b 3ό0nTi}v;͗d{6HQmu} -cC)A8_@3stWC%*K^35h2 yxHɻ^\HYPwgYZ7zXZִF! A]ŗXi%ή++\k0w)p1![@1Nܝsq9Lݫ'6Y!JXy*%|]p1SV 6KRDF /֧|w?|.LS1c- %`Sɴ%eZţW6{FkXmwmi:1Z*[3_̤ؠKty2c69Bv}p8r#M $#DoiX;6dz6(Q`" iJf &B"lH2W z)PDSZ>$M{c~23u 仁69CdrÕ`pݷ{DkN/,f.ulɶ/2g*:Y];LshC~dQpEFl:t%lBY] rh,]%WrnG$/te>^߇AOREc[~r8̶199/A K7ǟ%dl{#PQ݃s kny/ L&*aH\nT#͊y!,GOޅ2^p7}ہFr<Ӷ^ ״R 2'EdTUI_)=qB]cJn5CD z˚|At˯oI1U|3jGN^vQFk$%jP@)ܸ^i]Dԇy~b˰Cq9fp ;b[+.eݱh#,\ʐV2aF߽&F bui'VжDMT+3:hu ޚdn_Qh|&#ƕUV?cɂnT74P#v8c=QS5@zp:.tnuZO؞ VIc-+:5D>B'N`7@zܱr dO&桥lj84,]jx]v #/t hj,*<=Ņ3p*>(fin>DW\ #kCD/DWEƢ~{] TYxS/c Ԯ}S~@Rx8d>'m#TS;HMfã7]!jy;M5{?^J CÈ" _)ڿymhx©8Ds8ybQ-b翨cpupJ̚(dŪVDwpqGj$7wVmml!4?icS\,,e{#e#9u$HDV0{TۏuƫW\uCVXn(LZf^.&bLR;kWǖvvVFH/0L͸egz c,[vM1O:s7 he;p̣|P[WyjD0EK 3ϵ~màFJ&a̲ }B Yn%t`-'C&zлV Py66Mw/-1&Qd^0ܴ Y ,MysR5(m(1ac%J{h$ i0rrS-;;4ns1] P֙8˭~q&f ~ 4˝/> Hy |j=O({3U#r{34D+ʴ*|t@.r?'oS}\wƐgHDTqȷu.C u |o\&gfQ>.7X DCh<ʏ0O,B+y1K1dixN[BK` `WJ1;SH+H&87@{2etGAqn,7Лj+D7U^4Vz=v 16.0v#o<s)]Dґ2!fE$%94=[>N͉i՟ sѬƆxM: 1iKg@[Hbʣ,Io;] +WJk,̘9_%iuw6@HS[/Gv>nv?j&2q49{;ւ׊c }*8(M$FK킟ߨyyH3ZHz&C;%I(dazK͹(5 {x=t7h$F7Qس'),-~E=uR 7D6y?Ȼh?!{#zAs'6WTRD^Cv!שU,ϸMUn^|'Cu~MhR$2Ѽ>x_o%I|-t}4rf;oWAw>-ۻq2gYZ04d6a125365f61b7a6370841fb0b7b55e00a173000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 a4b4985b91ebf3c08780c325dd267ae7a781b0b0