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 [ ,$ ]/]HOLCF:threads=2elapsed=18.561cpu=36.576gc=2.116factor=1.977zXZִF! I]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU!QJG cM[yU*;v`ؼxv31mk m7hSHDO[EEzDb]*%S2M.G:w6(QLCs=$ˤ,/λ;5vuqx-hJj&nTVIQMɊ)GKWz6>'6a(1Rc'ƩuY/!&7MJ ?$JK?F?k`j6ʻLN_h:gUK! f u~ ILcK5+4nf #1{bD}3eAx֘8X=Yr}RJZfW=Aې.DUv2NH J@U ]TQ޽L8Nм4s/PT~m$"f&bV.!Y#mb䛦%Z8pqg6U5DM$ $n ĵ,Fmsq,Iez)>C֚&-): 4Pm-SV}&ʊsf^[u6)?B "Y''s{pWo2xY%: ~ A<:Ht5c"}rgYZ7zXZִF! P]ŗXiɟ1˦r~KunύNN{}7УG06'5YOgKM)HPeۖ\lA"aNIkcN6~˙NӖ|sS"8^!OX! r0%ɶeF;{~[͆;H]ԁ tΘs'GmQ& D'`H ML䬻?KlǂkǖߔIbv9mS0$Um}qjh\.?FDKW#o8G1i.^՘b<ƎʝnDwYJmH ,c3,=5Ŕhd)0?6ݱ穇^=Ęj@ TzzžMQT|^c"g뒵KSH66Vhρ&nL'RzЯ{p&b!3XNqAKJ~~R-Y[7\63a l~-_GP,OpX爵 Qv~Z+0K{d/^ d!j.ުtϜpʬҔw^l#p#_`uac883'-=I`*Oi;ZСLr89VQ>}C>Rq:e6=cnʴsu1.I27Q%.Bo[F ݐUqrت4!]- cY!xh:\J!J`˻2&׭h av6Oibb,:j'0oE-Av!-"!rCC|BB* nzί\3$fId9:; B=2PoƁϳlPmɥAĶBXeq,%ZS%fa6o[?Ώs%TF/ /]{PEct'ݚ$ψ y77ڟ Ar'izG"9aPS, @c6}?JePhxE%jo4)b N2q֠$? [n|c0 JN"BXW m˧WHa̐d\̔(N ~Y#Nr h2ZTkHߦM3&_GywbJ%T~?VN 9$âJ T^ ݬ3I"P,?|O)}Y+rKcW9Pc.^i.GF/!1woJ- bƭ. mż,dcC` XxY< Ss'1%vjwjC ouャ< q :AK4b)%%6_e@& vX{4(ݟ0L !wG߆Q1u6Q,p/ {B8 -,b!$G1[o&PZBe TA