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 QQ,7  c% HOL-Quotient_Examples:threads=6elapsed=26.392cpu=42.944gc=2.280factor=1.637zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxvQ:uZSՌ~gS#9tt ]2WLGuQ 05Yxa0B&4Ȫ)>RRTLO$Vi~4z}Q ZdO)^s]))z0Kc05e)&*ڈ BcPglx=5/)L5ڬiƪ.~pbaJk dZZbو7fꉋ(ulʽΌS6Q7܀-" H3q-K] qO7GOLp,МZ$:$<^8yKqB}b9)PUIc;7%<'TjD9;VctMR|%18Yg(  ijNEyj8T-z$@c:NW~W BQhz?`2|"^ǾLc%n:ʲk2> z n:U{W9O0τ80٩޺'->QgYZ7zXZִF! z]ŗXi%6 ʊw[l $."ͅT2NșО.&ݟq5RqW/y=JFv5uC&=8KW_M!,} iGd"f.K%F 0733PΡ.2|{?ml#P*l`(p߆g9ա UK;QP C Vf}f"nxe[99egS: 0iR>{گu;CIw3w_0Jvokzza'ͬvv*!Nkz}lG6}yɦj6s:AWw&x%bUF.daWX{$׀kAZ4@Aj.1| vٷ23b*Z& r/y#hp] ?2'gt5Zs9'v{v[N}+Uq#> 7+A۲tY$5GrqL}x${oOAK$G]$2H.'ڗpU䘹!Y#5$>Ozeq!JIm˪ ][EssK\K-|:`#ԴܤD?8%vk8sCswY,xSO'fNCiFWVK?BO2;Q}6.֊"9)ZF>*O?w8z2i5T{w7}g# /gYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d5573badff2eb78ec951e0416488ed93765ea7e7b8753 75443fb8de963b2ed9e7c9f1ae11bed5ca867354 c1502b336049c22f24ab6bfc0f88f963e08292d5 33ee1c881c6d2716efb4d3987f91cc405a0b1322 85bc647f9580525e919302eef06ff74ab60b6bca 7 HOL-Quotient_Examples