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 pp} Lt w]LTL:threads=2elapsed=29.160cpu=54.756gc=2.368factor=1.887zXZִF! 9<_]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"bo> ~kƔM*3M*2sG8.tQzVg}珈pYOC[x!G'Z%QCa2@Q^ܝ+Ŝ!'2QL~©oCA,ȁՀGї] tWĢqJoW^OL4>s%wKԿK&I,줕ZZ$wG]| */3ܷR?5jG=Cq>?N?ä{^X/;q}yesavҲf5QV^~#7۰z\(F=_/guwXr$ŋFT]#)CM?sL)Nb  *4I?6xZKX&^ I249+,dm ^hnCNA))]hm^4;vHfX0cp QYFQ #@tz-Vv<P)- "dڻkpxpc‡)mgDPBrn:0NYwoB(CԼmн ܟ$z7xMƜ&~caY&k5+P`iWֽ&E, bp  LTLjaK'ykz(HIc48%{ 3ib1Nk0򅐐"_ - V۽D:ًpmh~0 Am:'MU)a;@ul>җ"OL y4 iIV<=th?0b8N|O8x>N=T/4[P:N] f;&7H~ۘH1\b; Cɴ&$„LƉ $bvWS؅OR阍w{T&ѻZhф}1 p!SS+7n傷H/-~NCm `< t9ޖ>H O Zƽy`.AUW"3 hDMSR] '{V*s B%`}ӡxy%C/Zց7g5FN\n Y3հNd4` $SipVLVf~Rb[ݞc&ka"\,J?E\0B;7$2F؍J[ rNgYZ7zXZִF! ]ŗXi%VjZ.u^uN7d߶`<g$y-U# eaz:{5KE~sϵ jp\\QxJ%}D?>/!JW ɽ8G#5:b )u, 'J#Zm[9w3n#si{W 66ף8sl6P\س4 7lj1SI k#e{,| yʱY1-{Naloz$b_KwKr|:c(qYh _Oh?:m-OW2Zh< ɂ H}-]SLIpƓD J/t㋀?ZKn5[{p\Q4IB L|Ib_qOqh]/S4B(orK!L[Lo(d:|p8ZD/c_} zg#Hʆfj-}ێ(GTF 0再uoqѨK)s(TQ+=0Q]|{)61Bahb XAiFֶyry={+fkKo󿷝pqӃʨw8n#aGhϔdA8*0fw5[ ףPW"a9`_ز;G8+f3'kem0 Sod wuep TH峻E~VK6}7ٹ-{MDaݔ.aAC+.á$9y : WQ'[}%}wf O{9A;R^rHYBv '؁m+ cc«얐ZN1OPy]e@ûjŋ1*t㭂Ixq Is9d XGJL,m~b^7'ϭmH2۷.{%A'u?Z=zL]r6%ƩDN>d4P Pa$ iZBfJ^ΊF ;IZd 1xqx,d'Qmcѽc4X`l &ev&((|_a6>dbbjZ;JʼnSuhDT*.ZvDhD{,V0UjhVc5RZr8"Wu-p_gAiVU VesB7D߅)y4. _A:# '챦zҤ?k-w 2Kl,,]` 6qdFDm.) o-`̞\;T9j 2P7o0<6"Th5K,7dip!?[{N7J2 c _na 6%!e}S<8U՗ҁ.BWz-cR>m&> hf6o0X/4( ;}r$hPlQ %9 i:7<: Nnכ#5j"[6['`x6M)ao̷ԓn '"vHxNIDo