SQLite format 3@ . BBh77otableisabelle_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 hh/ 4Tl ]S Monomorphic_Monad:threads=2elapsed=21.000cpu=30.588gc=1.844factor=1.467zXZִF! @R]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdJzvXF`r<8'~$>}Qx[HEt-`x.lVN8}Tቯk*9:t9aꬍrb}O+CNe!cu_(ͩ_^Fp#'rָbXgx uc݈?/&(Mp~nxۗ|}DaAׄ[V; l(l2& {&1JIWTAkԬ[tMѱpk`NHc FбgYZ7zXZִF! r]ŗXi%924փAnE`*+b"ipgl|rx uf rqx dȡ^+ǽ_Eݐ ?͆˲tz1 &Go2WwI)KFQXi(*C%Gq&C\_/*vSk6CUzܳq?۞{қM|%* ] R[*ӺY:侘KSrٞ'F)n:GݤR&"r]\WtdFً!ےg"-nY!&q洖{M}pP8E\mea\n[(Qhׯc& ׍#Y6eЋߟqD0/PTgSPȶBpk>Fjg,O<ȩ t}SF+=ilC$ctLv; &dn]V7VONMsxHlK:SˍJ;i}~!]@Effl{-qEo~9L'~'FkϢkAՁR>雊rݭ].hndOKhBIj>m;ѻ^+.^BOp[4Ve{1tƁ!;3WU5tkIt3@ɖFRoTa{ ZE@"Pa[G!QHoze7@֞ss'P{_fJȨc^۰, /v{lJ EBmiJ"ƨW7<t6\kӕF$29'fZ?=_~\tOݙp 5ffi chN?߳b,U<ﲎ5DEd0H`#@Bq }&UWxzX ʹ ,o;#@(`I(F Fx.|ވx hpcعL6b5.l45 P|-an8sD%<.Uj;܁PĴ?ˆcč }< =3օNvތxiNXj6|ucJϲ(MspXU%$3ͣ6}N5`v*!aդpTþV@BDFS3px~ 94WyL :&W51OǛIlp"jhd2SݠKUiܡv* RnY6ߴ4h'}SF ٢dg]-oJ6# @6ٹ0&Ƹ:N4rDdծwE"Lgfxne:ڭY dh7clQ?d(OHX;3!]IK%2%? Q]I  FAKȘ ZgYZ7cb77c5aad4291a70381d0132f5955172b0d339efa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 9626d03df608336a839a052cc72d740da50590d5 700b51e0c45cfc183b096c510ee37950af75f94c / Monomorphic_Monad