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 hh 7< / ComponentDependencies:threads=2elapsed=73.257cpu=134.272gc=6.336factor=1.837zXZִF! l]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysO8_fx;|^F)MjLM o\ i6\U^y3Am?c "׈@E4߉ WiG7:ƒFR2ջ<{Պfee$ DK<_Z+ƚYW UqdjFdЯkU(zFL:NCS=r%ZŞ։o%لOkBוr<8m⚔[ zh)p+ך経`.SJO.=dkRѝ9:9ꑸП'EK>a:")[5;tG/aV /U u1%?k량 tDDky% peѽ}:0zoE?@B~@; AAmٕw~kt'oc٪|(U1&b bkyQU 1$It-ي=ոsv@ BC~;㴻^F(*"Mh 7 ComponentDependenciesm.N#% Yy^(C̎54iĈM{BǵALS0,7ꔿ&| }|dw)Zj-k٤/o:G8 q,yYmjGoӬC\-ɘO$@ p$׎ MB9n(}M]ZokR{PaDpp d~IlZ}JV0i!c%(cR2/ϡY+ѫYǞk:g,*@Q^[#q"ni[ͷZו$ٯNcR1Ȁ+4Q!qaGӱ?Wi8 dIIo~nL{L+2Cad}nCf{FúSj~ez[/Ų1&ZFtbwnSS>W~ۏ$ h^%0dƐ=iYNyq 0!Yf#E`u-PH^lj|լ]\(}(LR pE p@ &3HS-k/[UZ/!];}etcҿ# v2 ,[vCKRq R~ҜHM5$+DهӍl?ڝ)\ƙԻg 9qlO̩vfVqC0~6AQڗtHQߢ"`;Dc5}RDuv^ז, Méͬ2v P@%C ̴Vɚ!q^ⱲY"W73ꡲ{SsgKIe,j8͆*r e`Ro莍%B>Ѓ;(/P(8 *T[,cgQ{[2 G4:^{RBf|9M#U ]Fv6DsmBLoUW/07yqQ\j|Nh(yr,/Jx)$͟]"4^/Ib FNܯqώhmwoGIÄ8X9a th3!ۃpp,nw+EBk2>= *׏n+ i*dc ")Z(BtpV_y zCnaIu->\GE ”τ djEP+e:Jf/A4=4u"zwxD&_t6IbܓZH{B_$dW[ԴaIu  ŏ<;`Ze]$J(תHt}Hob] QK2Ԯ2B-J^9Y ɳ2 <~=kIW3fhHHK# h Snq1vXbHC eihHev `47f\R(@QbH؀:BJQ{v?GCїL@3RAeSiI+?h×uM]AY~[cځH1,񦏳pUKXQ,j>NփG EI‡9ҽV*6RX\ByRUI!sĮ0uH:<)frx:V,V:mmE.HO{H/JJ}p{l?2d5ZT 3+KBy tr &"EHyn<)cwV4w^ P o*~p"8Ƣԙ=)Ac,ISiU9zpN4d|[aP̡#a1gb2D6[u#1s\nVrͣ &r9 ˹.crF !xLԧPTCc;D<"r*Ʈ<5Owi4V=()$@eywe(#c]5S^1eG)j(lKs=t7Y;X W:V &r^Z ʖ_~.8r_4 1v*ybuxM6Nwĕ^S(g=i}c7[D/&K4ժ_g>uRb"} @JAyk8 f_c˨׹ij/,T+9gc// sG+(nq e'[.-l58[)^Snc:CVPwŪBN<%blO,?nyzM7{`d][Q!X+SN{^£&EbvPpM@tz"羑֐-C.LI ' SpoeJ Btk:S"Hu {v#[7#z4& $STZf{p1ЋnТH94:h:_Y\x"\Ə)-N uD}hmA; @ܟAzR-{:RLYu" ȠخS]bѯst_G3=aFVn8:,tՌ^^Up)L\ &P6ӆ]5ly!>BR- %U i^2MKw,%򃅶'W>G.$3`$"ٸ-=,F6.P*Ec']LE w0 bZUc$aa&av#ո?_s>IXIs QoNG8sx($SJR]6z4m "n: Pp[q (RДEzbhajYFpCBH?SƐe]qTU|\#|f-c5IukY CkKKkv`T7Zd}iFPas D e(S8;3FҍjOv;tⲴbv^5Z'ox;Yu D6HsIġw]vOA(gC"eU咙+~$\A** &EVRԦV&4'Ud(ߪF&iyQf6ρ ,9)&:9 p`f5bNG?iF}"Bv@Vnђ  ֳJ+%ˊϯb J,¨\F+%lEF+J{(QTTF&W^)eO:VuI0wD)4)hH0%I# + qP=`n뫜^Du<գ` +qQ%iQ"4dBgnC}̽hXqjDs<ַN^=cA21'( 165' :yXPXX˵u4AoeY!ዦ|3j'R ϬD>gYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d08c35569929f51ebc66d7daf2307976a0808b29 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc34db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259