SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  4 $ ]/]HOLCF:threads=2elapsed=16.319cpu=32.292gc=2.236factor=1.987zXZִF! q]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JkSԴx.mGJ [?<l/`mlK$ҙqCo0pیH!6 쀏Y0~6ѓ;M1@7PAOWПJ;p{2ՒdT㵳SK^KM׊"@輸`E~FNH"/%N}C-Ә;"&xSPSt6<q=wLx Yfŗ?.)s[joG_GSըQwO2gD0gSTݶYy˪{Xt77>}!d}!E <ג_$ɮsWRUgC\7{o9IP_2y4>g#*MdrF?6TKg ˴\Cs8I,.>kiITȵ?5QRBo5{{ L3k8*܃)u&3@p8Wgp+P<68WڰbSnaRC{ N$?ғ'Q*wvhy%Ipsqj"bNkh[7>( ]ŗXiɟ1˦r~KunύNN{gZ+؟㳹0_DMN%%FK<.O%fWh7ŒGš!!n㓫X -a0W#Rt*j86i~Gaq B evoջrLSJ:±sݧ^ LȳD>E~q H0x@",‰1O6QgYZ7zXZִF! c]ŗXi%>gW^.$Q`:~(cN|b@.LV@NϲL_Pd6>JTj$?7f57%sC^yrFO6->?Lrn4}tLzlqq.QY!HrVrk Шw;P8otX> X"> VZ3 Ws)~d<MJP0k]OکR+ӳ70 K@!bE u-AՔ/@o/pC ŧ43j*OŝʪdT=Y1 B䱹vM++dl{cxw>1۶sAN#] )lvg<1؎TUQF2]dQmez\Qѐxb _Ie+ :omD,n7k i*NԒʋ 61'onH+එk ZĂ|Cp7%W,"NuK9m}seBA9ݝY+C/gqB1MXg1fx՛*KLCөXG6y`u47+g$W#%_a_=ϛ"6OT;d, ޾\{\'s)񣆛w:ؤ -QHԋh-Zy\ov示LKF&at B+tYBI22e'sη4s#]-5"1]zE;!'I (h@LD(%.ܠ_BUeGGcf/͆IiLѳvl noZU\MGs$? &;nVj0P[ˌ(=l%ic9aKWC:Q_ӛbӆEڇ|N$~ rPe}]sV=Y?xɇ.د 1+XFӖՆ܆ϿwTwx=5@ |a۝FZTxzl㌗] ($k*M!/ ;bOo g3м M(|OWx3[؇~|p]Ny+}fb$<5_8|+uS IZW|ȗtP߼N`Nq人,3_gȖ]Pǂsժ c!g+m*є{:-0%MI/˓*0VtF&$]^![:\ gYZ24da6aa735584af7db6eb11248d0ca07c2a7554202c004c6c9aafa82f15da682e96a689a5860ebc7 eaef017979241d0dca2626b9e34da89976cc07850506ca98812813a7c1049803e0c46a91387a6f58  HOLCF