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 M LL\ ]S HOL-UNITY:threads=6elapsed=21.117cpu=98.268gc=4.140factor=4.657zXZִF! 4\]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YꦝX1۬KCUc1L,`g=&q9C]3@m+ /yD/X/g& ƒ'gKcD9/vCX$ j6>O,wF7y iRȚ:[$-| 6o,D -iƻ<ˉtjGq> oPpV bPR0̈́IZ\6uvlklr/6)2bJ2C:2BFl33e   HOL-UNITY)ǣO~cϻr=+}4෶ע&fGTd=Zьh {r6J:L!Y*Hp Bwr҉9r2 JG OeQϐ[ƿKn,c=T |}67zVKD306[bO4sG_{@F5k`)z KTi\W7H\-x dQI'M6M໾Oϥ(YDҎ/e,].IFo}1U$XO:%4 +x;%qfX ͙]C (FwRE|y${1,l+^'ٷKH-<;ԡ L]Ww($U$}GZwE:TZ4I{9j($%o$k.)! )!3n\ !0_]N$N%B#T*Ȇibf č ?">%yw@Ɲނ=f u]VSiOEuL9v".Oq)9suK!beOڰ[na"*}.ۃlx@]%R&{J} :.yu+;af)Keuc? /2\A޹_p Y'%ceصw5Zs^G/v T58UP;dՇ1qI _~M- cxsQ5}OBDS\yqF*b- ::\af/ghb7'[|Jq?4^Rr:Xoz*^0l<L2DvhTKȁ3)P;4S.3G{94gYZ7zXZִF! cf]ŗXi%9#}&;0s1LuuCn8K&s/sN)Naᕪ\+#_JQy7 ޙuyfYPT鴔÷t< i,<N*%R0Rb$Lf#lܾs uM2 xh2ͼ kٸ@a .vlݥZ[V4{z0@{ޒ~GQ%JZ%uT[UT25!g+v>.!"Se_.*cs@/dQ5#wZ@ M~ly)g5?CU.JFbi-*1l`fɏ-; 1AnF1xo |0Òj}G|01[ Bzբ:$X