SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  k k D ]S HOL-UNITY:threads=6elapsed=22.033cpu=112.460gc=9.136factor=5.107zXZִF! 9]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx҆c9 B90,%N{`&q sipB\r=7BD!Olx"^7Ѧi_bHD:B".Rvl |# 8?N X8{LRC~}_,ngnZpsh8?LNN <ʊTːc0>y;TdۮD!͉6Eo̸ђQe\UN6 q9fu pEJN38\[Ď)ԃ,H|^DW<n*ZN_o,9D,|֪ݡ)zc;I3~t-gÑjs4h Vɲ 7 S[bMk@NEXB'2R0T$'3 %'b0p)_^E1@D5W5uy`,5(qV-;sTJle >?,͘l׭c=PԂsH9"r#<[$cK}{X[̉m=Ƹ@螠F M^f +mcEgÜ@ ~M?,eKI\p^iŝ7H_#P0ί:fG fV4(3g4쨎bO+>Qxh"*o]1LɛϝC@F[ȘnZ~O׿h7'x9C'\3PBbepZk2`=Ԫ4%ZB8in;٦qsY _/cMF^gM2$`W|cRyU$歺ܓ]6Q,o }ٮ`Wfh?S<|Gr<#h԰1XI%vtl^5bOd`Qݭtt((]oCքwKH׍u[ce sj U\qIAJW^J5$QT@ݝ^ n'Y<ʙIr:ww܏Pl †fJU!Ȝ:w)0{e€?4Bj,<;8]h>Ox)14Y1QFَm5E~\*nE㡼FYSD>d/pVǐQOFASIh_C*h#QH%D؍ M"@Gk ~cgYZ7zXZִF! tk ]ŗXi%GSSNNcOi9jxWoqe2f]U`s%Q㥻k͹ʆyJ}&, oCLS5y3g2&ʒm@eoS8/װX颤19Ȝ۶It- cA{]G.ȡ\GHr΍3_6/;>7Ī7%puK!&_eN2T`N'ԫDԎ8_O)!!M;- 싕FL73F~"?6/THoq+>ﮙ@fB}ٚɫǭ ;pcp{C-^oA> : ks)* 9ݫɚ.m`G} ¢-O{P9S޶[١b[ҷc"G2KS1 !'{>e#Lf%}i6S"; nA^utu{ưH#~O(\?j2Z[:?*uX`gZxJGg6F*&&g+UvguXV`qs 4RW4} m~ \o^>L&*hT N<+\*+Yvh֚&KeɎRY^$vbytqjc)XyzEW{;q7ac^Q*o "$2;JQ)&N=kgh<;bB$+?/jbiԇLGQaۣŔ֡WJA3ۥQg *dtg>.#ytqx݋@9EFQc6>(+1T.$3,YyՋLq!AYo.7uW{K ]$;^H4kj)vʗu/Rf^›ٍF[WoOT<Hc)R>K]3k֖lhAQ\zKu@o%!SܢnR p@В8z0iIpH{G._OSTwW硥RT/f\ ӷ} fqHIipk}*; 42U97]) VFw :J9S\*RU&J3 kizy; ʲ#?sX)ChEE"/ )~W" ?#. Mh)pr Ҏ3m4*wa6_ |)<ݽdJ]̫.4 &VS6Uiѳ24P j]:qLUC? a87'0Bo@5H&!/|ˋd1#sHgsrӅzV NJ: ZyEoy6 к:=9t { *[|HH Il~8ֆE= 2ICN ¦ȼ&-\:"JҖL !ƾFiY.1qCI