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 oo7 4|\ ]% HOL-Quotient_Examples:threads=6elapsed=27.913cpu=41.380gc=2.100factor=1.487zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%:5:9Chil F􈨵!2"z%ϩVˠRc])m)uGX 7@%ŸZӂɊ,-в{`Up%`N/FN$ JqBPB4y*Z5A|B~1i t9'q"SB, b?˵KD!QWzX|AהaI,xƽ1yC1֕r?7a1NsI,7NÑ^W7OD>tBfs9Dt4 YW& Y0(7n/4Z1yC}nDgd&s2.W16JX N%3mKW\ ;& 伦R\b| %g[ЉsꉂG7)Ro!?2>}$ L>6k#[49:ʏ:WcE.ꂲ[gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙Xq1+ضcڪ̨Hŗ!Md7XgLOu \! 3DI®l6(?>]EcLӥpѪo |T.dҕjzs6M9JARq/)T'ZR\89Șf̑- A_8>G'F  G0sNBekՅ,|ӃS԰<]b> vs"^,NO@IbBTVĢF/IL[)@J , =>sVu{3ml<T·q^Qa/Fˤ-#M,&[C g#t7*3>N-G3Yq22x)]B]A -GwԲ/KVoOިIb[#%Z}yFa:} [ԇŋ_y|aeį3KƤ-0<.3o ښ,Ogl6gV JVYoIf{x"ZK^p6 sNV_`mh߹LB=0l@z(}BO;xk6n5)T; gCîz[dr-"J kt Mu2(s,!Mm\ת8CWUhbx:ڸSj)XA?DS X-k|lŠoDHDg=l,oY輏Kw`myNZ!?[ 4k~V#mh*(u]Cj &ތX; T.'~) `:~=⥱W2Tdc=ƳdԿPd{&q-΢Dw Z~%7Ϛ*]vSB2sW-wszrE52#W 8b]1A0_8K²z,kE(%rY5mO&pBzH {Ov'uᕛ)QvjIO;X̦$rCY~̾'X` !>%02F./ϸ1b+iYկ#@2gUa]i-d82XvHUœXj+jVZsR|gV4XH s]hyaH[=zҬ4l|Ok#~PF#4>SC^{Iw0pktpwX]2CcKsjOjDG@{&zQ"InY;6uG`g,DH qQݽ? e̱gYZ3407c2821a562d8b7193bae2593cebc69ce796bbdb03750a2a02524ab90002b6aa2f3fdf73801456 44f4a4d21533e163309b3b046d80e673f2dfa115 feca8eb19e6906919bb5f8c995f7bc97212b6f21 e2510581f72fd18323fec4567f4ecb7f5106b7eb 4bdd9494f022a27a63a1bd78cac8ac948b03c5e9 7 HOL-Quotient_Examples