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   Y5\$ ]/ HOL-Record_Benchmark:threads=6elapsed=100.448cpu=179.880gc=12.316factor=1.797zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2w8۔mgs+`4Tch] =a%xgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h0 DFf.#x'?|䣘27H( Y7k^{\*}YZ7zXZִF! #]ŗXi%> P\)j]Gq 8]H8`fd1*JJ{3>P49I@EˮsY8Y.A pzcfHF`~y9^;/']g8fqq?)oRKbkje!ӖL9ͺ#tP>L2HE]7]" v]t@QA^[9mv0IPUG8--u_q"ۥ:2 h"FCտ۔iT^c0j~ le 5 HOL-Record_Benchmark  heu j..2l7Y[f\]P^ zc9J0iL?ܸۣ0iAޜgvu vBp*T7"1?"?{6 Wa)k$T@p k{qΛ2%xT a$גdsfwai5TNxc=0\`LcN ShGHb0~RE@=,eH'2I4"X<-cxu/ve-Þ4MN9s@Lm룗Jz$+.0/N0,S>/ޡz/cQw.([i[Rƨwu8ņnMx0G[f OKfJ{0~TL^`~%޽LTpb.ur/[#ܙQ%ʡƭ-XclV$[mVx~9΅Xn /p{U΢O<1 VqMIkj-JLf 1 BEZ; @#C#m;|a< ʏ#]MT6`VNL fn)Hg:+ "[nE-Zz?6_h(O%:.ͣ{n&n-ku\Gkn0 ]+m,kR6_r$~f U۷li6SO^gVJX%2r*εExZ̫WcEpOO1ȥ*CF~W 4|yA;ƴ.]txofAIEB啳Ƀ3fkaQNB0 +{7"Pk|&bOr G:#AY]n ddVxb/Uhb!bin cLy:EQ ( {stপ7Yqfe#Cd~ȢFv܁*8=uT (Q] mIw{i9}?ߝrńL/eK´KDgg+ ڲmB,}: ؤ-B"lzjv;4[i#$x}IF.Nhmj||wyv+k~uvIECmË|{i<{䚱)]o.Y-إcBALI[99RkCH|bŪmPt̬ܦ;RS=dU喁m?E-d%@0Zb|؅\]춄E,lB">ъ4.hij2WmֿȢx*`'E1GmZ'%i 7f$#V:Y4't={L'K˧SѸN\ԥJl"U?C_b1~{%$F+yV7),IG'GO{\q:j/,؊jC+eq`/Q5-Mvܻwm Av$AX0¢^6|qV,m:(r)" ƨd$Z=]xKߢ,d[7R:$Q.fwof)j_7 saJvIWb!B#OmzSocjToְׁ/g0u1XS9Erk+"vYӺd݅;hgT󂭯{ $+8c.RitE԰j<|@ew4&VcY3''?4nr P'+h8(PfT6/~]$a!҅[KwHrs! : eZ!<9gYZ3deff41becdb0cf48d91dcab06897b82ca5619434604eb2567ec75c8d9622816e4c73711a6b8dd27 772366f2f051916b4acac7b2a3824bb7edbc881b