SQLite format 3@ . YYQ77Atableisabelle_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, "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 55H7 $L c% HOL-Quotient_Examples:threads=6elapsed=33.719cpu=52.192gc=2.736factor=1.557zXZִF! `]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%5[32O!9Yd;un45i}ʘwdZ=hߒC>C=y%kqeᵍg&1J*?`hc[Vr.=k!.6@ D`O1I,L#n5QdR Vv<]E95P!ܹr|-}B h, On}-&q#A~sok'(19*MxGj ^>pӱ=MM, !bjx^H>Ҟv T6{UY>)5V SJ-Fml.iQ-bl\Y$ځ9ԕjy;B@kuM[SrUM*(b е$|jdD4Cޓ }ufnAb_ t/RU&|,Wc[[FJ,'bY*i[!Fwup)miS#M8Oz =`=QgNiHfyo9ECp3NfG.l&>/F[#wԎAz8$~m1'[D%^{UCW}dJZfz 0CS7zk;L8<^$cG@::ߠ\SXg΂9;H?9B?8-=aU(ϯ#"j (9P- - Rډ!m|,M#9mÃГk޴d{i&]q ѥ]Ɣ&<(X'n[bvk6z K&mnEàNU`~f¹r k e:$X..FBQ[.@4C_jR=!׌\L $uN63*_Ep=`>ƙb̴?[XbȰ+~H.JԋbD8OC) ey JvK0FDLk"i)VgVg7]Q:(qjp2+A1 | ս]6=f#OM+I`/_ޤi˷ g2",u@\nt5}cM7TG ܖa;p^U-3A u2w "W ~̑jPɻz U#^Jq| BqBo]Fs/co0T)1@PGofލQl_Le^ H{(B>b6ƟQو c;yb uYb,O3XŢ6Y֊lk d4b| x{pm}U,ws05O_-IYa I9,/tf#T[v T[pQD 4 }!C "cgYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d5573b36e7b1353f0bd9851c90737eac803dfdd0f2217 9d78df72fa784f202f3b4a395fa5870fbbabb523 2100b2a88fa161bdda70bf72b1cce1551410c0ff 11b0e19c2549edee35b3da20ff12f8e39b345c02 7a5e48ad0fe23f10a270b23f1be736a3c19a8c30 7 HOL-Quotient_Examples