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 R7 t|$ ]% HOL-Quotient_Examples:threads=6elapsed=27.806cpu=43.748gc=2.248factor=1.577zXZִF! #r]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA% 4LΩecoMo E[o-]SK~׆ۯуFKQ~l]iDE)s[֧+CP8H 6_@ͩ {%5\ 6H;7;Ƥ&^ErP}U}?| aw 8ARTcj~kw1-!,SwL6'ӂLډqobĉY7u@25 iL$C Fɬ=K wPdܰo8N'r(Cvd'H3;- gbc> ^nYh ⎪;)7"SXϛfE4?"~k1orI[{h]͑d}*"X 3aSŸکފ|?k(}uؔ /׈h]$ McFG5\"!*,2HIBtm.)z!,[+WR3!tcGDOvĐ/\K M,QܱgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙Xz/F}a%8d05`Dʅqa62,Dx2dm>gFE4ZEvQ١!0+5cb]NSu,Ѫ ~{+y z8; dƞ3"CODY{gZl?Yia1)()IwM0qx1Օ b wU0CXʑt(gYZ7zXZִF! s]ŗXi%6Sr4'^u!Ǻlv<'e:^o?a<h% <]{w#q:+J;9!L#^^N(@xjSeBh.^`T,fj lT.IC+n(VƑϴlb񴲭O#eһSB5_ .5*Eiw5 p}S mqUF:K?Ncw%I:#R akDDHlA5uVGEϐPI4O3a>f]@gz_M ^t=0 ;] ⪶>h1덗{Rv(],Ш_jKye(K(< #Q)1 ZB!&m ƒ8F+EL@j0}RzN(Ug Jxyb!XKWw0!]-s`\U:=TWoMko#j߱*aE;pUڏvFsz3/xMgL#BwVhG\8/kNjM.mt_[6pLb'%Z6q{58te;wq'k3FR X*Tm܎k݂!,y,82Db[ G 6uuNbԪCpQ6-!LL'=\˷".ԗZ,芉0@xƐ檨qպEW_8-]2OaxXb9ne΋Ĕ8+,^㙟 6p{T#r9h9,WE/52LIǟh)d5W<>zu'ʼ帄fݮPQ2wVS[)t Pw(M/7W-΃H"߳vƺhU(RLy7^AL緹LIl 67&u8@r:H`lE͓  *),ՃQ+㤐RrYT|cBD!t>lm8D+U3KWPZv%dzQFS\dw~G%z>v,1! lUh0!ܐR ʇU: dD|^:]5Ge-=i0kW7v$!a &gYZ933264557f1a52d7126a4f01cbad83ddede90c9bbc04ed3d5e3d39fc11eed643c195af42cfffe6e6 af27b793b0e347b7ff6acebc98cfdec3738a93c2 56c99ed97f96b6895878485285d5451853e4f70e a6c454f7135910e1fe35faa269e37dc6ee9f3808 2a2dba852e1e34ba5ae8ea3e05cdd5f4108af053 7 HOL-Quotient_Examples