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  i i 5\$| ]/ HOL-Record_Benchmark:threads=6elapsed=99.153cpu=177.600gc=12.076factor=1.797zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2KH!jeNi\ rxgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/F y dM%CLJǣ8^Ql ӭ]GDމXē|SALfQHNJcx`EaA"@^4 cȹZ#Zd0ݸuP# y+xy$ 4-&0칌 Q'^K@C,0Al\`:@"ߖ$]g$JSzJxVAt{I") 5 HOL-Record_Benchmark  :()IO2{ϱF#]DZg\Abny\EPBDGcdg2*S}  Q,ϴ}|,^4S.Ͽ|=trx%c8o V≬$II (2ۈŲ2Hעd5Zms?Џ){}I (K[bO}**u#o;'lz2"(<Ѷ߆EC6!Ɵ!S;Q f.?k9_ ~s!#-ݠ9/?2CP0x\Baf/viYUμ5k W:48h( N8+P }t-K2c;JѬ:XT=rd3W?!YzЧh/uD\@W\4#- ě8?;suDMd`3w4ZpuTM-l` :mnĞt[FMkXU@+x(U Lz'sR!P8JÛa?nD"3/)'\}UKӎ(ڵ wRt\7Ksu1a)q/bEH/hJDPQfgeR=6S\xU UL+!hzl|3̢REb͈E{e!g)md 436b2Irqdl"qhEOf7(-*.[ I,H#ЌU0WtXe๐+)w$^LIMq4-p PNie!R yOZ[Pw2Ĺ)_Xὃ <'¢Q)Tos/`N{.rj N3aKes􆣦P)2!J6]EhY035r]C |KAl!6Ȼ|BkGAqYŀ{rS7FXS 'tw ecI)w;aF_\XwKC '_)фl"$ょKu'j. 0|pB/N~1ftiLgZ9q!BCP)Za>{%O)DPΆhMףђ |1mGyK@<2-bj8e}haۜ]( AbMHK*ixrZm zGD=DHT)f&s"xDd!9xۜq~@#HAsHP'ZUa2P4x 2)1*[ Y})ˍ}U Pѱ]QaEi. K/P~o.+9@X6yDf1I ݱ&JYi#$Jǵ7H4?D*ZɛK\-PWV?ju{XMZB8%3P"@pK/JSdq̗o`Ҍޠ ~R㓛R<'ZsJH)o=3;:\5cbUW;A6DઌA`P'}ޒMG n 0rjĢf;g ,/%C`865*@7)A&0Zduk-c7jfґ?d(4%BYU)fsgKTaF*~Zm ܟz=p UΛ8m۶[2ˬ9qQ ;R jڔcS4w=,{%tŖU9Sb씄uՍ&Lbu Q+V<ȶ"IF9 0sgBkl{O_/ snq?<= (Gk3u:uq!)mI{=>DZoi<>S4qr-4݌23x _>W`ս W65J37_q7Zkʋ%l '?412JR(#lWA0r a^68;Dڒ+?`xH!C]BLtw dZ$ZN`{ ։ɑtlKuh䳉3jgTgt0FCUnqG=Cqڊ4Zx#%T&X=0#Gq: }%'RʄzS ݟ `D$@U@$S4<ɖOtZ!(X[sS31[| י#{wW,$mֱum>ˆjQ.;uI_HGVܒ >_KFs|rH