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  |\l ] HOL-Bali:threads=6elapsed=60.995cpu=203.648gc=9.968factor=3.347zXZִF! B}5]ŗXf1-q恈73w@9!Ӳ) RVxDm)TR eXЅhN0y:wAåX/B"R ẹL8J*,@aK%5T'S/E@VCքd0\\"4a؉j&,Tdc*־8}yK0F`ng=BcBU :yJ ?X͑p2E:H`X%\B%{A8IX~&d-0)>YjTGQ  bäRëoP7'J߿<)2XXX>o(Rᬡ=:M:?eJ&h }O=:1LTQBژx* %ƌĜhGI*\Wq ol2ArpSȟZІD퀟O?#Fi"_)B]$t@I"JF e`܀?';}fo7&e$b#Iހ4|>` ]*z#)VV@d`r@#U$tǖ28UgZ}i'}c X+ RU q܅q0LAANÏ^N83  Z (37BP$ 'AD v&)[&ŮZ'XKd6.O+2LZ8}y/$--m9aCmYʡC$^dhh"ip"p/3b4"`kҨL0! ?Iߴs tu%X2B"sns)2 Qj:ࡥ6+ s꽡;;ధoS"We+_X 9p90<8:"h Y._!Xe"| O.@4ĿFnf1wنl Znovxa[4_²Mʥl@B%Jw^VF.ia>1<!=pR =#h͆g̷SHχtЈްng oOK?K𪶠SI(OW~+o-kc^C>%)8N;ĜtvdČ(u6vD?q/ *w5Aм̮С$#?7`8R^@ ;*߉\a¢ᝯwlK^\ҟn_ө*ߴdzl\q⦁R 4dɒE*3F@&G:c5Ni_纍+t?]k!ɝ`V5+;w{ʖ@#Q^I*H)X(gG.V'8ڮ$  F. p;r=hϣEO TsgM*y ˚ (_U#NaQvj$Gr!ˡf ]ƐO9xے"*ujݠn2N!tAV_hEO QN وBz޸\YB)5xek ne#xBR++ђꨃæb\ !#*f AUSMś[wo g7謚&>RC 7H66 }F:LJF7tTWiS p@n9;^oغ zr$LD @e3\X?S*t)9ϙogtLJP٫"i締wvDj-) 0@"OK8BNʷ5s h]eL],k;YK1U"B79H +wQU_{v6(:COZuA` B_&guتE`0?<{8iJ_6k6٘=[pOL \(:uNۢ|wH(6#'EFjfF(O.2&%Ctrl:l!UXP@t2|Ƃ0,Kbpz3N[$$ʹ Wu"XY l)jƌ+vg KpREXcsʔdž]N( S8EI-vKѵ$ z9|aOUK"nExoպ>CsSˑGC vG;m ٮ ^҈Vh:9%nhh^lyaVZPwj).{(JD2 ϵ˵/ D]+1JH80-QDKddi`jaޣ;qgϺmMԃc&(-}K-mq/eޱt+Un6+U!xi"8^J@P_T ՆK5Dӯŝ&7E3*lV4yC_ǬI6YlQ yI]!9[>i(|9 ?%˝,LdۘQf6k!:?J^B,ߛ]ig̞Իzav_5rQㄧ|Hv!]L P{ }bAj˰O9 [F[^}?V0<@W|o!{v'n%g͹[4 &hW|XBd v{ZYE⢭ͬ?FxzwC 퇮K䡗w_'p" /tatEƘ<)}6zHt>|HvX @;Ȫ$T .齲1Sx?r΃ ֖i&( f3[{.̨VZiϴ|095x3 F%W }:T۽ޓ9]T"B ʺɞA>-g|C5f5I<`[ 8X[J뻿D؉!v%b3>P3zVXVs^uح'KqYaBUfrO=nt\| xn9P<á8FZwO/;V Yj},9k&o yTR%|bgce&eŗaT ܱ1], B -//=\yg r?;dűQ..QN'@9hޱu+g}X1} EG,.֊7,־ԭu$!%㶴>]$[ F|Xaz,BC=-22jG6"P^g'66-\)NptaŒ}=C'SHg`E>T]C`5cW0"nBLr4`,b#]W=:'L5%4>@t! oi {iBC+GmFtzbI):4G/NT6r*$DG Acʈ'xh|Mk'+Iiepy#&(tj¢O  )A뱇Ij4CwKr~ͧr7t6{5`Bħر*^y 9J0vV2.8P=;ԫHuaA9o͕Al#qO /)TKC àgiGR: eHzk*Ok1I^3ץ"GG·;=  F ݋pIz&{7- v;8߁fv@ =R]ke27IZvOܤ5nL_W-k2Ӥڎo͍| >坻\X˪oPJsukeyO=vfƼLN{yxQ!P=- 2"U"jgYZ7039fa856e4d5c1c16e8ec65ccc370404e3ac89bc02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333 b56428d245432f5f15b93df17818e6c844dce2dc