SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 +# % VectorSpace:threads=2elapsed=66.694cpu=104.492gc=4.372factor=1.577zXZִF! S]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T<3lZVeQO?ƕGV* _!Rq@U&VɊ] Ư *kB6|Aeer#\d(NF_7],2*jl1>r' )cubI)cL\hk"/ļsE9$"ul;c6ɝ'B-X2j~k,|ɬ l3ؿBD h*3XN?rj܏Ub咕![1Ntn{Bd3vLUX.h!^B3X6%z Gi'/sـȍ:x5.[{Q.Wy0l.xO &͔I\RN௩(7Ca\, !bphT/H q;|yOaSЏlr(fs0 ʐԥ rr n4 k5{|ƛ_-~Ab#ɍ(#IՏ:FeIcZ%#ꙝzǓ?/(jQ IQ2ALd 6Sű27HwUVmAto `t~ckjJM!_>ƈYq?H==(P tmpB_F'+.B1dy(]P¬ӵlHT4>HTk;+˺+|8M-eOy0isϹ3 SrzzlEBccWU-Qd&"{qrf`ݜM~ s7UѤ?M6JX`ώ*7DZu.̣y-G5N(UYh OoLI}tA^bL6M2.02Yr_m$qqwUogYZ7zXZִF! ;@]ŗXi%6xe|`akL~L*.Ӽ!¾I2nƵ @xaFߌF?.|%bPc8vިE-o/0VY # VectorSpacebjq×oȐu_ꖷ+ݝҧ$U>01Dٝ~S×L;ѭ-Q|q Zw+w#}\_e_Y#h)uf4xIQXlWh%Yc6g.\[C@:K kL-B"Eq=O1(w":01x^sh.>yyDŽlT;B})1r[1d Va܌Mwx~yb\zuP TLC?ԞQwx: O{6(9L԰8d-rYQ*MQdoFz֊moyEBc}€A!cGYh<vKQ9ZKqe65b1A̭-ϔB +R)IJV+) e-6ph/ ۾&rm(0-s&"Gz9&$ pLffn}w4I.QF/N5]$an4ď*x8RG+6]](ɍMAsūƱ8]XStDhd(7qTP"h2"Z2=Pj%9ʆ!AÖˤ^C 1Fz{>]* u1`v-OwAv+F/` ʺ~ 7&v463)C͸J;)ǖ6,@5gyrGCOHp`ξhL,WrqT"~ Dϵ@C+j>Ȅ]od(cqm (dޝ2m0;I3rWKbFD0 lo;!aDVSd-YUHrVmʥ21}ڱrK&r[I/3wsr#o=#%E <XEV{^դkKQ.^άTvb,jgp4}iެƱ%t0-JE_L|oIAEeVQ\s u- rG3Q ›P\nTL0ѫ%-jw ڎ,-z.#sI'aP #e?FXOq}َ3a@,D߳y3~i31FyBEOPfiAՕ҄ ͅ d g Nr3T6䤀YJ^-9mkw 16V1f:n'!U!@aZrlfv+rC0Gz&+jT/+u~r==)Bnѧ,-07 >c?̄!$\/O)͖<<%I:va2bHMħ#{c`X;x@yBI-,a 7Zi2F/p ?w>5a]^8NY,6`O9$N18h/.isYL~_4Вp|siB 邸'2R:llmSr| 7CPu[fs80Kza8 @ýT㒩QE"!w l%ٿv~ R Nk6s eJ'CNZdis#I;E}9 z7vlorʳ%5zʭN9,Y{Yyo]E cGh5T&+va!1ɺ9pA ;[; _OMAƹjYJy{xW<1[x uWEfjq#t5㏛8L[/U~h0D8Y~ntauOl8Зn6ܥ# $I$(=~ _8b8E{HmS %wv; N'*^<A1 +4X)E8 =Q~K{v-0FLxVQ(Cm(/Om" ơبr@ZB}XG}'$S ]d[{k2ne,Uw0aӗ" (0}][H635*?YݗFq,)Ј{gaU`?j3 bh^Gperʹ%X:`E^VQn5C3Q0Ԅw-tE- Fduz+F#|F".m186ɒ_tk9:`O"l 7_Ilav{U<`Gı̅vdlU+>Y*e;cm9iFI)e+R7H:\F"vE2[LQҜEs m{,:f~'VfnTV6a \WgYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d969554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd 74adbd4176318a2bf68284883a01d33a2306f225