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 --8 T  IOA:threads=6elapsed=7.569cpu=30.732gc=0.936factor=4.067zXZִF! Kc]ŗXf1-qN50^ .nEށܱsO.($.hg/[×`4rPОku˪:e B Ӄ=ǒlIgM>Wi \ŗ$wU?CUzrVN:Ƀc@hɍS:Uۑ+O'|HwTrA(M n G;mUD^S=#4TL{v켎Y2fʅq#x^_Gה􃋔}Lj]ضgx.[D*I#rM:ɭOݟ7}b=8sSo5)rL{A^nș*;`Kpz}I¸3^u|۹RV6 |ᐩ|yLF!~ڡ)Ԁ;6 ܟ}[\gte) CIZ}$U&RǗNЋz9 B :-ejob'WUg5D邡m &γNW~q]qZ?s%NFܳ(-wM ld721lY?DXNuENa&V.ATϋV&CECJ/h'a-`o𖵂Q Ѷ8((5z~Fkƛj3"ZϚV2G),c zn)wfGXjrMG;OnP9,߯/3T&*}%yy٨ z9-ISqe,K9_9L*AΤ){#hD!¿^ͫ_v)cӳ&#x ٰgoy{„v+c\c  IOAlį_ t^)k,a}!XRm=;6A*lyctM+x1oWiMĝI 갾 ^ڔX:YCd}ȍ`hX3l.{D#3+5;Atxi}tҜ@  pm{CjKr(Y8KѬB8áwlޜTْRl4ޫ[qg"+gfS E[ A&\n#C˹e8pS r Rb8bJ%Tn>ț:(xX,StZtp&ѠM QGk ]mTE_`W @!S3#JK_s2et[5Ϋ3>0s + $ l ӈ%=x|@噺Y_LnZH@+MAR漟/Wp ! 4BNJbOTXģ(ZH֘dd "/cd$Ac:gSfrJa:<&*UPD_> մ?w.7\,D)4{mnM%KXz(e7P$ ?t.4 dgd],njFq@E wa#uUlλIZ{42A-nS4:+u,{+Lja$ FlHFbEԪ)]2pI}o.ାl(rqZ=~2%Ý<8$@ dവBqyf؟6cŰ Izf$dY" ϶Յ*n4ٻ4 Ɍ/;+g;)G,1-; >j@EdV&;8nBu~f`Bk&wtōxtera |EPhfwEuUhИD\z^~ Q0]JF}/| z!QqN&qZƅHCAb#m\i":E\ hVF&_`n[_:.WtL3{_ &!UP ?pHa! )]P.Oc?QR@$! Tgli.@UJ&ImTBQpCe"کX& [أ£~\mȳ3hk"}=6pL9zS{aދp?$ 7*p1;y .ލn΁ˀu9`$jy]T9dSCR^FJ^l2HBA%p|G%nXs|?tB8"uB%]2Dvnۼ&>WVlV"0o$&|T1ps.UQAGpIdsP떑rFa#7.T[2e`:zlV y6aܠMׂBSd_=fLsw.(3 oai%h?`߸}䗧V,pP =,kaϹ1K!Jo &OM_Ү6X!d e+qL&}^ =/C8a5u~V!-̲w)'҅@оTϴ%?B*'vϜFl1%\,n6kkhdU_\ژݵb L(LXO"$%t%` "=OҪR&) 8[W7YP Bk]E<>׫2t*Pl鐎IIThdGo#ɲ@ 98;.QIf{X PhSJa 5t %J({H};~l8v ǻ|S+<%`!Id@ԳCI=Ք'm (RI91$n0'H jfwߐ8C-v 83광!_LO;lҿo oIf &j- du(ŬkP|MsdD7%0;y{p̞,oa,b;)!|RQeR`LN"a `CJ]VbvMESAõ.\/ ~d'{6)Kud$垰ˇs18?~Up9*xR,ҋTlZ(†A*B))<7F?7V2laY"KK8u~{׭dWXZd찮0MPnʱZ`}yU(&"kl:\p8&df*t?3*EƆHNb{ѓ]WOIIVs,P.|k_+m՘v?c_nj<7 rksaXHa8 PG5ԟzE e.+<-/RSz8+nБJ.Y&tŞ1>[KjG+v{ NuՀ4pж&uDW5ʫf8Ho*iL4F;B[&frwrKvy FzٟxƨB]m;uju OdU^=}hb+qu1֌:62BMUPH)JV ;=v:Χk;c)j MELn#)Um3}ițOüycV4X);tee^~q ЌUgɋA@scXص#Lz' a[s |^a4(P6:_PZ d&+Ac?{pKp#7>apЪ'Yi$.B2!|x N -ցp|VvU O^is$dnRHlṪ0kM3$7s]>|`i9̍5yKwzM|˅t\F}o7|0'rY>=y" N ؚB *4O,u-c{)5@ܬr01f陴vxX>°Z#bbԓkg30&-o闫V`&xԈwn78Kg{Q1i OXK^gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112cb68bbecb0ed1fd634e66b332c9022b3f55bd474 a756d93ac176ab627fe515dc5c3d2087811b9820 aa0ba8b4313a09107f8f355764a32e87a7b33bde