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 7 \ ]% HOL-Quotient_Examples:threads=6elapsed=26.716cpu=43.664gc=2.192factor=1.637zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%ԱCI,^,&TGbLA!|eAatPq~r T \yWZ5x/$!nwVߦY=NK㳆H*qaU44Zإ U&.T#z#PpzՑ J9ҥG&Bc'։Y ~4jéT6MS?8'l=+c.;&Ztp0 \Rjm 4lh1;MXVE:To&"@@O]R3&,TW-zKSb>IDDOe;H*6shVRJL;xY2Yc4fh-T#.0Rx0EiBn}Kp6ӉM+3}Nӳ0|,صO 3R61"xG?dm튲2XS/NV9kQ։ *Ǧp`.)ݱet_?t/'̰Irb>d80rçÅJX/rjd)j-}|:QU-$#бgYZ7zXZִF! ]ŗXi%6*`":<@5+T[|IlCU2Kfm[`?WH%xԒ2L.QX7Rf} wa܇C̫$[]wIl8=_àt1㤜),%:0LIfh_'TB1oL* گ[l˰eo7?}Bb^~˴IjBAc%%҉$oدx)R^`SQdE+ҡkW};16 \y;Jѯs+Jd+vkU~柮U8~C)C!~UP:^ )78A1R:>mC#a8u@3A z@Ofc8!ϖG%SɟXwC$U%NmwS/ϼ~y:3l[P1R{ZbN?.).뒸jpg+Jߟ < 0c]2bO¼d7ҳ6%atw{;4H|;o˜6^uT6|fKxGGStvZL7HW5-y$W}O5"NRvx[1#/>KeBW#;m+]=r15DQPՂvڠ}1V=)p`d  H9n1\V omF3u b-h-fAݩ %j̀40nVmKTBz} [bg!A/ïEe+Un[{?f'PБ0f:trHR`mIլ%3] C`f:>`XD$t̓mS0[eQخ9]$v>>λfRXA-bT߾g8odJ@{y  1gYZ2f5530a924d6ee215f5a193b76446b346dacda0580ccdbdf883f78417e58a6fe9077611957b4c9ec 4a724b2f7f58518ca013d3dea386ca861d7ad01e b47c0da2740d0e619c7c8baad70553ddea4d23eb 0c89b09e98d150155052d37cab3261a66c5bcd43 cdfeec04237119ea55d00ebc9d0a638be66e62cc 7 HOL-Quotient_Examples