SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 "7 l|L ]% HOL-Quotient_Examples:threads=6elapsed=26.440cpu=40.164gc=2.416factor=1.527zXZִF! m]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%ԱCI,^,&TGbL2\EY7yjhu{VEmx'^T#,Cm}?Aj}Ti?MHx78 '~Ͷcf֊M Me`@] 7tښ2GVt=T"ێߧ`PƈRT* lA!$Y/TqdiA6\g~yFuE4D<֘A[ F?H? vI_eRa?=$7S:,$+|7&; #6FbwIYMkB"#1&T:Q!c^.~P}wKQ0x;^ytGu>BYj뇉̀G{&.+ u?xRX%\m )GV6@7`5QY6(gYZ7zXZִF! }Q]ŗXi%9# Fp6_[F&Ǒg#n *..?K$#N >Ph[1$79P Z*)'LEړEP JN` HmDl)ܝ1ptPPnAtA?lQ'7{p1K<u^rRTiY|9" ܞ/k%aQ\k .GP{"i1^B:sȵ&]P@jM+~҂_i$ $HL13jLyWxɨ2L6mu. 6V9%RnԹƢ@@*[(V]%Ѧ}1Alh-eKAo ⭣vm0YmM[$#,B j:=RD!U,)}c!* G[ta)q<rEv  8if|Qnfc-r{'烗]N^MK`?< 2_:$_JV{ bNSmQ YHL4lX,v{/[70̠Gbbh26>2#u5Olw"=9ZbU7,9b%DNf*ܜT=jO}I?(ӊ'έH=ǕѺ'tɾ-ҬtUHWOL &g#^I G#wL1MMD(F?~·˜Ma0I^M%ƃHw|`G`jń1#f$^>GPTCuwϊ'Ba9g'Z'% R?dBqxl]ɷ8F="^6YdPj)EV'>ۚXJ3,=f}ꁹC>fϐ {vLQpԓ.9?BYcMXY^̧wަst7gj SBm 4t>ovk_PlIȥ,1Ԁ,!d'%U@2yQ"XE5ݯ|C^]x6KM?Q2b/;ӱ-2xta3EGo&5J¸~r>wp;H"6Q{~{ >{iڨ4~Ԟlk@kmZ[zJ#\CVBuBЛs] gYZ091113c2d80e1f5d35d448560c0a319e118515823edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f 9b5239179dcfac295bcf1cf11d762d8b0e6bc3e3 91c1c9e9edab459ce62d0aceae1283cc3c035f10 eec8422d64aa0f5a5d3bbb883c9c7ef783458494 6fbacb4b25a9d1918b308c8b7ac805aab5e0addb 7 HOL-Quotient_Examples