SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7D / ComponentDependencies:threads=2elapsed=64.280cpu=126.228gc=5.944factor=1.967zXZִF! k<]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysOY{Nz( 逸٪ 2ye,yԃc]z=K<[W9@o؛-W4lp'M)|WL=v9a8HF4={@š/ulfZS(oz: ߋlZ #֌hyl">(VM^ĵծYi{ƅ вBM.L&M?:{<*۰1ZC,|xG,Y pcǦ$E7i57\$x~exxLLX,3e[KxHکpB$k~\Q5? saa3竢6 d{(BfT,OSLzo_P"x\r+wY5ʯKR[ YZJ-CEhSJH&[5X A|JgM#tݘ2G+W B'bQ;4bS8cQO{ |G2!m/vBX?'% 7 ComponentDependencies5Z*m Y@NIxӣmҪmﶥL5D87F3s01u0<&\- ""HvTk+8k̪o_=9YESg'h}3Zu5d\"Ѝ,^SH.R?$DfP?SF@sw4QB"Tg((7(/ ,+%Q`'ₜ"v[:bdwe#1EgCݯ@JXʇ??&<,~7FϛQ?PK8"!7nj]ƞh{7({FoUP77hu  yw˫.|UmBpQmϸciɱV.u] D_xesk].jҿwnJ^JwK_]A;cmg䥱|][FѺQ0(2~AcݙW^5V̡X<!/  M#^E,AG.<# b_-dڏ&>L~_W OhŒf.}e"ɔľS/&+eyvz+W K$#t_HE|>V NLJpyXOi!#ulZzO ldٻ}$2L[żhHhu0r KV"^UE+s`,6;}¨^Г&wI RWFgYZ7zXZִF! 0yZ]ŗXi%m[ȧͭ㝔4F񢙂 By=u::,l/:JzFz/Hw .* v"/șy*,,%D\!AIB~l},- c; vlL7װKQg*% !`ȱ`TQS+Y[ 2cHiܧ[?|OǸ^e#xٟ%A3VTֶ+HG-v}'sptwHt#9o\͖q?2T XM0|ԕr? )i!ͅÂļ0A}?~zn>Z쳂*Rq>创2-$ss'E# q5'h 롆3R80[ ; guiӓ)mHġ`Nӕ5ǭj8AX[̎F2aFi56ִo"*^l%+TUAۓҡCE `@o!leRLxC;6 :[ ^k~Nm`QC{\sAmĵ,jp򤠭[.>cTMFQd5´_"SAO^~r ;aBkO$Oo$瑤5X1T4o:S`hQz~YY5' ] u<_iDYEa}ɄP_%ؙ-ۋMaP~\p6V9MO!}4N\J;#T6k*[m9 |U?qD"Q^קF:ڻ)&FՐT~Ѷ9!ͯy.`wb1Z\QN-Hpsh4@Țsc@1w2br?/U]Hr>k~@_a~()@3q3;Ā|al+fUx᧱˂GS% x<3䎄  y&*Ҕ^x{na g[qԊ穉A ]R;_zЍ~hm\b2Qa2BEMG:xQ͹ Ln4RҭeVlaoQֺ6w^3g<ֻZyNK/V;ؽ]Mx7VR}7$"n`#&qrQݕ9Bs\E%Pzг% - mjZ܇Z֛Wjpj0,0i*&Ѣp cKrF/^$ez,ZZԁ1rLȄRQ2s>l8< Sz1]]E)*eֶ:4X%JՑPSݬ>U헤fQΔ⿛|b~ :0,;X :CZc rTq吤Y};E2aQUZ (P )܋R6n{0/ Z8s~l86u ѱ, q%?ת.}y+c$mE0.8YƔLX t3dh8 ٽ/3K;p6y|ZC_{Q)]i#=! $+;Sٞl M =Cӈ3wh6O 'C>0K JQU6 p5KRpnbzRB ]c.,lXgI\L9vXDmExFbn=&&ccΘ[¡>J<;O]ǀH͢Rab!ҩiރf{\/ё@3"k =ε 9nYVrc13gi~;92@`WΞ{;ο,`!c=Ǭۄ(] <^r*#=,1沿\soH0,sɡZi($[:[˧Ѕ)msdG VbџtׅŪ(vCn&͛o(ټ24%5^*fxFG.%aBd _n`|w͘"y \ܐ;#@KaxMArUM֊'& #o NWt6hlg(9_ψH7#;'}gÐ]: gZ JWѲq[қb-RdڂDWH5!= XqjI^߆PB]x"rg,?|7rijLYeL.ry\PQ6U+rEP̡7&oJ / g h, Oy"< 3ƷzIRȢD`l/R>H_ֿJwMhdf{`yjc5GUFB;+@dFƴK[{K@Ja0m˺# b~/ŕנ!MQ@jeew)c#}y&x^ldGҨ3^V7ԣxK~"O3<ȤN4`0g'I2Qњ/U=ہgYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 b9c2c34b1f8e0568e257f7d78e57a481c71cd6b2 bc360668cb496a7bc167eb03f7fe8253a9d62618 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc34b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d