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  p5$$| ]/ HOL-Record_Benchmark:threads=6elapsed=99.566cpu=176.820gc=10.808factor=1.787zXZִF! 1]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24EȦ򮪘iJKC%=z|U\K'<^+ Hn8 .(zSgYZ7zXZִF! ]P]ŗXiɟ1_sB2 ( |Kln/h/g- s)5EC-An~)'nnF@$͈X.0Fvl^se}YZ7zXZִF! ]ŗXi%>L*p o+,oha^rY#Eћm&)I7c[Mҥ~D`udmV\}֡n:Z=jv81ؔn-y^eBhlez%Iy=O_sɨ Okf*:ߗ}re hQhU)hӋ :9T;uaw1FUCҧOǗ{x!4` "bbp}Iڊ-";KAL uS$:T5emh̴~ܒ4m?RFܓ--/ǻ >㊞ r5wZ850/6]:9WcgURx9I^Lȁ/Oe ?^h@x1l͂:D_x!q;*⯏YcLZyD]i-iѹ8]Vcgf?׉JYܤ J4ls-oF8J{c֍l8г"͌bԵg(n|lϯ1D% Ln윪*༮Uuӂ5ۧA2& pRdХɗc],ṄAZY)-aK X{\H11F%4n IӎCd6 zGտj vNJ $ѭZB zH!8 Z  "A HF/>xr&X,\ mҼ 12w ̠i@i-V-뽸^*X5 4dӪH.=Y3M#@ȡ&6Pb2'&Q}G "#l4>.%ZY~4BPNآ yxDzN\O Uk Y.w2W7tlN>(s0=eOGRHAׅO˩'fȈOHHfI^ )f &iކ.C-0z@n8}@^NAaKwQe+u\4aDlCJznj,‰IRF"`DZk,U?,,+􁘖>XU?)2/sC9ݦ`HCv9zZ ޙφG*Xr L[ǷAR]VlP`AxUuE퓕,>rʻB#-\ َ݂8DѷkX ZeQbN|tviaT 1\Hi%,O#/' ¡*+ mrw?hIH &zq\kHb-0 |5s]B%Q}/v?LUuC畧 2q݂`~gPpl|5g5>t.FĖ= yⲚ \<'`mkR^韛u^jnioDob.rjBߗDvtR/MUL2qxo`SHf`Y aۺ\6ޓn]UbLIAy mqOH:mIJ}mf])Ey#d&<]Y[Qf*#\QYNoW+ٓkEs`b|6r2ɇ;|dq|1l^b ^jՙۅTr} %4.gO^4h^/.P ,aH!q[&-8O;pJ' >SrC0=0 ~mzB:Ԗɛ}9r{?h{5rHf' 4Q Cm4] b!It~|ua$@J/A0t?_MhJ)uNXS*JK7Eh•&yxZSNc+mR|PZ F"Xy- H]F K`8S4-6Q,v.`FǞhlԞ0p̳RVq~HNq%i12 /9s2zւ# b^Jx ÿdRsY@m&uN#c sMKq D.MA|>% WNa~ `v֭hBZ/2gگ~u\YȸS k !OK:`Lrp &#kY\PNe(Yvc;ANfKZVp#"z7Ts1`W=$V_mO8YʹS;o4 %0rfϰj͒7•SVkr$2; w"Ծ8$-5jJ=T;jwgp|P,A!Fuyw~@.A8\oCe{D?Vc;F')`ȆEuq^xf.?+8 p"h#3e%Ȟ# 6P}A,o+&WVWRo>B5V YrNZZ|$Y)C譥"θJ›n~x 6`z Hb so@GA@qj>V, dH< ȵh*Vj9\|oa6P*<0g7oyn$}>,FWфb@ύG!'&,POݮXb4BCo-OzSPu󺟊9_ĕط] -YR烳A _#բ->H0K>*6RyvY#/c&*`ԕlHI9*:SCЏ^n[fA=3,׭=]֠#o ?/ylW,"ZVgYZ552f66d68676719c40444c401e0e7a76e6aac56607237e2b3ade8f359663183ef1c4fdf52bd9e545 2b4ca8350fd83b5b43b9dadb5f9e51dc7c3598b3