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 O7 D< c% HOL-Quotient_Examples:threads=6elapsed=28.335cpu=43.572gc=2.356factor=1.547zXZִF! []ŗXf1-q恈N/|p~p%+)</80WkLa B wg($ۃ׿>d$Wm铂to`0ZT~.JH,*SS շ*9(8VF`ZJ-b[cJͨNopͯIBp~w8\mHh̶poU*yN!g(7cX;mC`D";z5A߅S+chnb!Tx:˧;Hl7IkC"v@v;9X7%EUi_p!2"gwH]C, ڙBI:Z&ҋ2q@I;v+ٍǴe~NŁ4h#H} Tj! ߗl1_=iۘ]2/5jemHGa > 5~=؇W;J;%@.k x'U4Y&[^"oB=s!k-2magk4 X_WQLm9H 7 HOL-Quotient_Examples|Fi%rYnÚêկAGRѿHldE1.YS0h%D;J`VMK&vƱ2T 1'\\!2 sAx Do(;w{*f\ROKl&rUn@i:kE<6HF<܁y*UK`rB>f~JyUKbs"dl4C.fb5&#7fEem2Ze]3wkg{EU֣pdrv;لs)<,),ML09؅4e{UMmZbtk #)]v"׾rKD/+K5mQeͺS۾- z cGmnMeʑ-q'8A뮡$x2BSܗC4_X) 0Em7tlٖ۳s ,nw.F;59`/3 ,#X9Iwb%rN˧ľf3DsM7ۍ7yj `oRDԆJ?~Ǫ:C.UIĤ -E[$F¯蹝gv?PSfaE e݇%g"P(- O"C@6 2_#~[$= т+- 4$Mī& Jb UjiE$Z+Eg{/gG8ä>N -WVv<-tl9b_Y x'4g$Ns2N*c~ {HvT ={}crڝy;jyme,EP[J5 'Ksi戂1n5\I,TB</K[7r^Tԍ +trYN3w3M7%p:ԎH~:b:84=H0yO_QE[v<{xY%:qɃX24?!n&٬wa7yEHŽc~)D?Apu jQ|ߠټ^a?񦗟aͣž 2HBp>\oFkq+s3pXc:Cn\pwwzޟɲqp&lL.Vp4S7eSw^>[%GJx󢰝UlbK 5g¹4BBrFf4+:='y&9υ`Dy87 ;/t٥"~Že(+=6P+]`dft$Z驧*a|2[8UE;pe {I…񉫧f_*2KC?1BĔANbbfGn:N Mv6xbx@K_NK"ry iS$jl鵙Bca\S:KN3WۏGTI%XoCRޣH{y2zp!f2s䧪A׵{.و6`8^GϤÜ:ŠgD42׏=҄f ˶D]M(B ohiy GZ! 29gYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e58c1f5f7555feb9985fead5405c04acebc14240e 5f9cc3ab8d0e17300b29fb00d1be15c061835ad9 3d6b53045324407ec728f944135adec60478961e 55a99d019367c9c15ba2b623ac84742418b012bc 4f5b3ca6e706abc4a9c8add6015ea8437304f52d