SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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$ ] Lambda_Free_EPO:threads=4elapsed=20.110cpu=71.000gc=1.448factor=3.537zXZִF! *Q]ŗXf1-q恈<-¡$johkX2I)']8PI bƫ||.A[kZ-F+8ҪݾXMA(*NGپTj#c?ln>BKߍdfU&VOL"i#q:9%כ-n&᠀Eg$bX#96٘ZfMUF?wŽ<_Ֆ^VL_Kj O*'hk(йb诟XI@%b͔}]kBU(ܚBa!޷nʏ,Scd..p{:1mT + Lambda_Free_EPO  r%/w{y{j}Qw>b.}* ?I9lB0etR-'P2$s9 f@Ǡw=U*fp74G*۶s_+4 јkG wP_g.SY aYIJǜMR5W#htLfٗI#Bmpǻ֏njil_kwAǿҩgN<.Ҙ"ÜS{K)[Vk=z.ab䈧Y&S\%B[ _P}]fs \/ _P/u[&ҩ2NֈQ>$txFq .XA #Gx L\.U͌vDS./[lm}O%"Tܩ #G<~$.(ƥcNN&YY?A=3ǔ[Ge;C %XͲCb9 QΐXZ'r Vo; F+S>W_4sY t~))ESfe/[ f_àVyl0ڱR hE=6SB)gI>.X\%7u2~'1=5_7;{V?νK+GHO; wnm47tX̄7iRlnގ1:UM(gYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"1BS_/FJs-`u'M@w,>" N𐓫$ZH]ߓgmQYѶK atǦ+"r6vj L'&П7N=# #,yez.@M3~Efc}VhieUX-gYZ7zXZִF! F ]ŗXi%B:gi5쁅߱8JjcFqU:0vx|eQsrz9?xscJ0cK䋯+2%9}޻e>-24ogDk"8e()Ғ8O_LD)HC}Se~Sq.>woPxƴzWb3q0r*Iv$ݡ\D#:SWHk3L?AQiVo5Lﰵ:Ι,gXG_SpK*u9f{7)A֐-F7+t]pbt$P.h1w^lFZp#U3l(7  Z^_,Ǿj4z!Nm *7\H8ƧTg"3i-pf%ssw0U~a3^&-BWNd*H MjToʏ-&ng/ Lg/ &Χ>'>/w0]泠wysUp^Yt^#m騙u#g(ާu)n(v+:{iЍFgQ<~Sw,ae5&l0Ͷ@,j>DMR.7:mr {uݺؗ`5]h0 ̟o 8m)Tܬ!aMcfd] dLL"Df!kf(6eOu =τ^n{E9LqH'8cU\=u#?$Ɨ3 8SGVe.Biysf>šPaahI2C56)ac]8ʈih"k?/{$6^Yɰ઺C?"u ]CRn5gه"Z2%Mұ!AxA֙-tYo苴"W0=Ak Ջ U {*XIџ6 GF ́#Wyw}PgxQ ԝGo6PN{#z>kH]:b,5˞z1#IB+k @b& #,,`7v؃ ;p4hmu;.擊LuaXd%AEf߉Mw}gOFu㟳f[V 0!{wu1i]r`25hCӻ&x)9eY,uQ( \bYN7ajZ :gLа>Rw@ - 9#kjlBΧB esPoꏶwTd&2@Zw=iф7TPэܲt{