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 ]% HOL-Quotient_Examples:threads=6elapsed=26.274cpu=40.096gc=2.388factor=1.537zXZִF! 3h]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%5[32OXё1Iϋ.֏"DSn4`Ciٓ-^0>JJCAr>Q(FJqH= =:Z?"hgb;A6Kw.`:<ԍ?V~gYZ7zXZִF! {]ŗXi%9*a7KcއjS_e@L籍Rj@SvKWJR59א B}mu^(nMa *`0Yd5Uf-cTn V*`rڣ <gm}D${{tFH?RnR) RaVҧ5T,4m|BDpN,sw8쨳 IHLnSI S#}f^cktMm eQ+y]fFr{]g.=e΂6l81 hBd5^gx?CB|QC*zbC4w^%~Xk=VpFru=hMr[)d0&Rv'V/)7N|b+{Z*qu[ 䳚:NTZ>h4/dsM/W̳G_ 4 ?Pt1`W}[cϳպ41>0k$%Y3,_u$nžUSFO] +x%(A|w6s fECGdM=%Mwd|,zi2d@m7/ [; k4 "^0-C,KԲjKN=Zّ|䦬@?,jaSb .`\x |thVn-I/ .dtFaϋkԋq5ؚmCL hqSH/96ye#Z@f}*w{F: 9eQF]/XB#wMh-ZߔPpy78IMPE_c\{ "Zv@a:B.v 8/.ܫ"eMA\5E* x?`,jaL6+;') h"0e a}N#?TNQ.fԐueE>aybuۀRE>DU}}hTye*`TdQ&ʘkd:fiSYѿ u6b_TӦ :bGrպ:vM@P Es"#:GPw8p(/g;{`4zgu6/O'ܭjj5$40<̊3 sǻ.'`:<Մn= ,kDUsyj Z;}OͻhRz0$iZ# ltoHH$] }P"K$w\Q:haXUe KNq{o6:%n}kjtE2s˥&2ķPQ%(O )DgYZb1b445a0988c808b97940ea746830103588525665edcd5c29947c92ff6acaada6d85dff99035d300 bd7565838d12a9c7d88a8fae92e320ad178d24ad 0ece1e32ee998812974b3d486c9f352f8e96ac40 4745c8303512bef1342be415bcab77c877851625 1551b96942a1cc5a4144b0ca21516fccee2d709c 7 HOL-Quotient_Examples