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 \ c% HOL-Quotient_Examples:threads=6elapsed=27.132cpu=44.228gc=2.184factor=1.637zXZִF! .]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxvuE8$Qd};]ȥIjOx8N*ǍZ(.HJ4[A&k5b JWŠ'pDS$c$X*nKзCaJCL@)jrdJ3ԸR;qBWۈ( oր$MQXjU;C.\M]T/93RXe{aezdVd Bx/aMuȠk{g\yd˖Uba9c}Eó#F}{*Y>r? L(D?K K< ʘ ZZb,[$A&sPz{D*Sr3AB$2N~[ Ӽ0\_ҕ߫K|OB} :Q5Lؐ\6ܴ[|1!r ظRB+pvPSz/!{Ll媶_FrJ^h`q`A2JgPB_`1|˹0l8u^఍S^a+un7jKI>I ;M uC}V1K [@N 7}L1?->*@%{[x+ב{`ysd]X,'``I=ւk>9oMP jꌮǚ [WD91QO?֏!OuhK4ZO86\R4U9R{I,a{YHܼE`ݨ(ho aFN-f*>c3L\Ž'T,lIM@ _`9b)袼kOR);lB({#qre@4+_vk"3gYuM ?DLu!|295J$[5ྒྷ}3ˈ`Ț5ipC}|bb@O~E`M 2!$޺7hpVcR"}H<$dVRoZ=G(ƶޠ?2܈e*tb7f(F=KdBW3p7]_pW˶29B",>WZG!޳X`M;/)^/jbYݬ$ܚqmJu:ڧ$Iy]"S-Erj57#vFqsh3i) TD!&e(IzFF"MѼOZ̑\rP S3aXG4ow _l@]38?/vu5%ғ/׼uqp%ʁ^rmVǘ<]u-^<25g}M2Mʴƨ/lEm\"M:gVme"iZr)l yZ?V 9v&m,t4o![maʪC\ڊ=yyق-/+m]U] gW9bHup:Kr^NPXwr;+U +yR|M7raYzE^>\< b$+EOvAzN;b~qZЊ4*nٷiq=jҜ`6)2EY85`?rZh꿂fY}Zե^ f@:~Edt mXYFgmﺉg>-Wt.nPI$)=grt+'t&&w MWѧ m] ucVKIyaq?Vs0|{((W5r%nߩ!Մz$ߵ{M͍ e] &[]0|2?ߠc4 cWby 4^6gYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d557370b40965627ec460c6d1a62a9777b46c1c43280c a9c2451b325cca06d06ca8554c4ac08112f33487 746791d71a3c4d5b82896b1b89cfcc65257d9fb0 f1f7e232ac828eeb6cf49dac4ac27470434a416c 8f845aa0ee61a0163369b536ff2700f0cfbd1c8c 7 HOL-Quotient_Examples