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   X5\$ ]/ HOL-Record_Benchmark:threads=6elapsed=98.136cpu=175.916gc=11.616factor=1.797zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\21  $*r!Ʒq!k klC'v\VxgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/(N`윱v> 9I q"TD|b:k^{\*}YZ7zXZִF! s]ŗXi%>du LmtXtYk`*;V3ǿ9f%Bk! .vƋ@7 2ዌV ʜzuXQ 7\([DK̶!`_.7OU|}z2Ǟ Vdۡ-a &5ɒMS,Z{6vQ˿`QH@ [0sX 2 n-p/joA~!SK VSԢ+Q3Ձ&߽ <;9,ݳw 5 HOL-Record_Benchmark  Cط07C YWE p}UȂѳMZ7H[H4V|9h #BY%Xu0Z K(?u4Ǭ0Ъcyљz4=x\#+ O?x46pSgKKc.!ǵ='w^wO\p`Er eUU=/yd*"HI?G5?f⟣ޮc:܇NReEU. ܂㠥ˤKhq$gsd22w E/YD;{¤5-:,Q.;\xl\1V% p"37'{iA$_k;H><䬲79ʲԂq8Kdǿ< ڒҚE]{h?XzRnx-N O-rV=+44d2Aw'|CPȨLQ  gì;Pg;4ijY^̩{Yь_jetQAx>zmyq0z< %MT[yk<-a.vJZ 4 ;_αK\lwEgy4Jy4vM5bg.EJJU@CWW*4C}ƒyn QfP&'o33el:(ֹf vpg d,.#TQHSű/Rx:TWSrԕq#g!s%Dm:LH}*iN5máH> 2J@5PiwB:GX\,>V4j2 sLhBl@H:ta$Wc胋0eZf K}+pD.+PőI(Y/ jeeYu\?lTz[|F4-me^~4A͂)`O^3v Kt YޗʺaPZ.ATo^^ܼWV܂dipIKC4-Q*|>w@H }s9t#Ln:<Y5omܜ0E|`ژ5 0ƒ&F z% $RШsW kI'15JQKQX-c}n'/}[<ƑƀpW6IJ1Ԏ̆sSL<[jуQ$ĆoL#j)Trv knݏ?W翌7'i8F$iHCp}{`]@۞$[d\XL TY紩ޅT,uB̨7 -6e9 ZXb^n2+L'gEX6b)^tuGҢ_;#~Z_Pr7! nyxjoF>oj@L t_ukj" s ;41bwGWFANSvt>=33{%lIĀq qY: (?Ȓ O)%m~Ga omH|2t0+ ᘜ<^5T,,t{UbneWa:Q|0c• }!"&po?x+Hz5FF o,ԿzyEH9Dܤ|euQY{{8d{oZL|S::j'< qKN#ү[ D{?=)| ǡϋc@C=-K MV 3K E/*GlyL ,WFXg^F`dy Υi͚0}r't_Z;+*+"o;>;ZFV9/<M!/2AQB^z E fCd50KLWP ^m/HVPzj#cJu Vl ?> g;lu͂Y 0ⲻ2Y 6#b|P! f+~)~5KKάn8YƵa cR#?lmզ#ǝXd,S>SJɂml;n9OM5rd4s֪F)%Q5@1D Ui|Ñ:IGhuiqV9D-3\OAl־8n'f_Ij9 m߅[8'3wL(LŐ2' SY-Z+^^C#&wruh{ɍzYAZZ$¬|yY|߱G3˝gqFIpe:9g$ au,rfͿAW<}Szÿ$ .)SWHM g_8VR>u oI|ʪq_*p^MŌ vB2S(}\>d2JC>maqvi\|d\!M:>7S'm'lzi/ oI :wsR14hVs`fmNL! gYZ1fa9297245548ac334ae73b0574f45e9fa8b1c5fa681f6653dbc3911110a79ad31633f9a1fcd6a75 adcca596685e64fd6307a9b86c351895878559b6