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  5 5@7l$T ]/ ComponentDependencies:threads=2elapsed=78.141cpu=149.096gc=6.540factor=1.917zXZִF! /]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyvb\[-vꛒKscrv<{7iUQy O* iΔ ^{4~PRR.]M\:O\vH9憊pNP'#O>L;Cr O~&XNDfG}Ks>Pj>]]jd BQڊ7abodTQ_B2Lت,e ET@sAO3ygYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?B^}/~V.k# a}צ#XrYoB=:?GYT(zޖI0A,4~۱gYZ7zXZִF! n c]ŗXi%6SuYa:% :N7U;ӢW)>,OLU;Hcݤyn(X/o ~ F<0k2v6_XFƤЍ y !@rs >rh Y .Vް0tcڧ>NTijc/?0X}'OZzAA3V4o+@Є0` 7 ComponentDependencies86+d@O9:{藶-S%_NX[. r3+~?V_v;v^S |GcΎ޸:ItMuoI>_V;\: ˨{G!?aHs&H0@kb`ޣoJE(ʊ2uۜx"!l؀'oƒ2P>VKhztXjIk J<b:6EOsP\ףV(03bSnKg7`x)m@j >NR\[gx B 0BlNH5D8& ;{gVmZxNX{F[o5x2# pm5 IULl{l@ ӣh˵^`~ t]rlL۹^)@Mbk4Brj{!)BS7“%)Ѿ@o4̔wA>m)E+ as,-H[w !0R5 uҳ"OY7L꠬ұN Q;>A@5`6l^_|S/(YqGJD_RԒZ8 [!>JUʫ:Ū[n$qWűV!׎̛ⰘЏIQ]t#3|9.Nx7+?I– /G.!mR0#2/w!H$Gv ?](FJϺeܖ *;MxQQKm-3ÜtVh$¨=D1yDtxb:;]\RWN={߾KAI [,O5wG:Bu׋H= þ@:xGΊb/ك&8ŸFO=J@ P՗%ϚxhzGb=DlHʫM  j܀X`0+E2r9)4ט]ht"ٮirklh(Hٔ6Dv73L}Oag26ObΑ+};6!@bqxap=8 M+l0_:+G켈FvCo#o (ւ[C4ro krѥÂ:$p]5u),VMt(XDoqUJGhg"i\{Gݴ-F*Aǡr$jk\+ '9^(\Qs28`xJhG3Y߯xV#Drt>&%%$_hѫ%tx'RK𡇭TMN[i ÏoY r"R@ka΅Ι5y,]܎{)I@y Dן o&t%*,br FXq h?H^05lW5)W޷ߣ=۴i#6␼bܜܖ)9.^Wvlm''Lb_M00_oCwќߜEQz,O<-%{  #][2yP۠f]tBSugm /cѽgyQ 3WܐZ  o\ɽN:HSÄ2P h s9hҘ Lf΃E&vqTyW䗂nDl5I""}Bn ~o ո:+O{Jt+%TsTs&ouv6Rͬ6Nf_N4kU7z4W|{[د}Nv9픋ВD}MZ=x@/zF #;V-%mmPQ4e$NwQ Abu×H`۴"lk+<1Va[Brv XױOt}kV9<#@ErOsu^VC