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  i5<$T ]/ HOL-Record_Benchmark:threads=6elapsed=103.070cpu=183.740gc=11.112factor=1.787zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24YHOϘlk9 EfߎS \C4y#=,=h7)G k`^]M~ hgߝtUcFb-ӈN F l+a,ZA?w[HT u`Z/"9Q6_+HEjRj>j㳸zTER3Gc7v14pCmV*IL!~杠lM>Cx]-<;_l P2T;oto73my!,z>`+(@<[?X˳9ܞhZ㐄 [zހ1/ZzE}P/s9 }SkZbxTxΙ9n37=|Mx#GGHd\Kk|S(iGՀT'Z9SHf@&lS夐-] gҋZNuk6Mdx֯6G '(eD0<n%Լoj5IS)?Mb sV5e+"N/s 2E?ӌ[kޮ7"_DmL74zXZ9`wW]e5ud9;Bb[^)Ȥ)[Oo2d~UQupO4lgr2?@$rK[ofc z`?J07Oض XMdwh4<-Zt,7ͰĹ{X;Y'%%[ '&Ls* ڱ^sGcoNސ"EXkw.s1\#~S>G 0Wr=ARŮҼQ+h"8~"bwFaQ\ -w{U0~SuԷ?v.Bʤ6{whu4 vF'ٕ=Kɻl(}C_aٽK|%GaBC;tA&g_P,Kw,cM\)u)(H25UJ(`*򊷃$k-HVKk9 5?+@u7\3IS[kUP W(%uTS-GN<[le_ 70~`l6LXӍ ;&},@ݽ.4ZPaʥ1[6 s=U t׷]XGAڔ}يvD.ݽaէTd!UM?׷buimo0#,@xP`}Bbg )ŹmR1l:OBk6ey#p?$vV\ zpEt~GH_Ư3mW,0əT'%ZIHd8Ǭh$=otɉe2 #O( Tyݑ#XJB kv MDisoJE1l] ϭSΏ*X[+těm|/':lL2e`F̃JIBqFxǽInܥG Obr0;oʌ2.4mwk&_S / Yȴcy@}H'7o6Oz MzԤF&4F}DumXs{V9|7 ^Hq t d{Cm?]3@\RC‘x )g0{M~\lڋ<~b190&-ۋ&NrJ1;$p@;H֑yh jk7>Y&o3-IF݅*n^?h%_ԵHGJ"6 eS]}?S_T^S8,]MIJ `EPD렊)DМ&ڌ3@T9,(4_KjxLcQZ2k!>$ҿM6nY'pӍW L̶KԻN@s qSgƕVQ&+sHmsRų$.Ef{z,"0ӤAu%u(O7D3cv|Qmmnav4(hQ^kx 旈g zt lǻwZ* HZyng=(OMt)b ,ZB`L>\(j%9ɢoTv[k2ϵYysctKGվ4lϹE>)Zv_?T{i#YpW5쀡 00tAb]YHei9Jۑ.ǸtedRB4nJ5:o74x|@L QJ"Z򕌵QXKxvɄJYKG_Su? V`b%?'{TL޸Q< Oeh fXH0 G6]o 7wph[.M.#1~clNJ`+-SHQ0reX"0@\xʽXƄ]U4kD X4+뛫 e)y *J-F WޣJtrö~|V,}NIn oͩ)x Thi}A+JOѓ .tMAqtzDSSWiҋsKc8GgQ-4Nj: d F_j=o+7jb+?"m2g6Hl7FޓXb Kͯ£Dg\eYG1ً FEA׌Y $wgc r[r芛XBGsҊ1ḟh9\jɸ껦6~kŴQ NuPµw (5Hƞ*W=$7M^:}kYvZW$O*ls[􂏐QAv\a GI>܌1AzE7ڇڢAnpQ!JVr3kfGˉ+ypD/@?c[")b@QzE~/- ;X=Rghf@\UgLf:b;5PMv\?cHd>6d0Onn[VHQasd+cFI[u :̾'gbz!󬌏[;C^)Urka4N3},)Jq^Wijw [/"%{KRB5D%O| ݣ7C&ks.CLv|3PVգ[Gh#aѐKv0׌ ]ב4\vrBKw&SN}1TcurĈ桎wHccwDDd3? IL0,MDT (.Q .Y{ UPM%p@g$8ObwfȄV:3?椺.굂Z=d~SÌN? q$F_̆wHL mQͽ`st0~0Fldo3J{&OnJ͎/ ym#"FE剆 t q[$3@ᠹO?n,ƼŬ\uZ95eH_qd)S~ t "a"τgYZ82d00f4608759917e6f918808f5b3c5c3ddd311b82279e0e1adf83bb56256dc19b76e613b9ff505e 63876a40702696125354f9af72dc0450e7ebf321