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  4 ]S HOL-UNITY:threads=6elapsed=17.761cpu=84.444gc=3.788factor=4.757zXZִF! , C]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yxז83DBY*?07?%iFnQktZ6{;h%V xĨ:++,>:Dr|?֯>Yͫ)*Y bXt$ތPUizJi,$yP Ab?.Ԟ'[VsV"y T:>?6hHL3Ox >K/26U e(y 6zӜ#q4`'؏߫i%N Vr   HOL-UNITYƬM|Mm#]` ghw?`ޛ&4?=q߼ Ѱ獻$}B>_oGc)Wg@GopdMǟJE^rXXDO̿,\v`ӕ1U oJ\ۨb/_#a\yx_bZXIl05wxHhN;CLK= #toB. $Y6ɍwp^!S2< Nӑ^Dm4yro3Id(G$(ʯ Իf躡xv~`gP!U:"Ք?0+~VrG3|И6KK@d8?T Q^Xf/ ԙCe ^pQ0AlѻՃ F}$N;K˂#"CXXZyg i LPTEɟU[pA mjbO0p Gp`W玉j0ã޴2j{x> "j$8:rlTtQ;Q [V"{F{)'ǔ ڱL͕tXrV˙d grZ'4iApM^ <1p^5M\SYj/2%sn*gnc}"^==޵C/6?+SZ.,Ix75308_8db4ӟJG_ӊT31V"FTYTOH,XOswr3{hQϠtMZ]nEl(sp I_בu{cg ҩrH2"qϐ:y/70)HwMN.a$CI0/kOCz~Ut`2 ̼5 `Bre8TRk>yN{Ҁc8Y2gD! hcI Qދʧ:@e)Ss5P4ݓ!9j!=^kQh/Uy\0ExFe5%d\JTr)Rs"]Ĵ nj)A;i>?:HIJOh-b3w[o?xZF.hd1-tǽW3b&ebz %!;]4,ĝuFWҵԤa{oiӔw#$IVuXggYZ7zXZִF! Uv]ŗXi%92|2hrcuMvK%Fh6v8g yˇg.J- x]WPr# 3BU^17k(/]k;\W:X=gKf_QХz,֥[MCqsN,5`d|Bp% .-Re؏H% }sI rB)RZ] [6ݗ^vq؈-ZX]D*a 踹(pb?;ھ{!ʒ%Ɏ/Nf(զIτ ݠ8k ݚ сHZ;jl/ԺCOwH<#NTO$Oa[jDcxgb{#vc=Bᕪ.'=Umc g(Qe<"?'>K3q! j% 5eo2uۧ+5^oMoթGOpu\N'ɧޅo80ˠ@ ' }-Oc&* EO4G+?\6qroJ֯i˛长֜ qm?@bWWrQV5O(0&śǿ}6P>@qn{zY xzZ*HhRxsܾP\0y{\rfh/˯SxrhsM+4h\U(&U:m;y#:^T\wYx$YrDbH!R?