SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ss 7 L4 ]% HOL-Quotient_Examples:threads=6elapsed=26.089cpu=41.832gc=2.708factor=1.607zXZִF! ,]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\D0ðǖ/^Ffs WHqϙoc1V %VeuoZEw?ߢfʢbt^ZjEuDhe'eM(9!iq՚Ѭ<4K$M|nǀGM%Ն?DQ8ՈμkBy;zy-mt0]#6y(-+Ixֿz.zvЃ`rwG4TJ3l WdÉgۭ*Ky߾pۧEin cEVwsXU!z6#-n=-rH%ɚfp54*ST}z{/}*Š0 Bk3ˆ%3?ɦ6FG%Uɖ>槅#:[Ok6C H$eJ5tmǩ.7:muJwH_VJxSںKOTexhA6呜*Si1`Ӵ#Vp1ӽ90r5ՙ/BHB8b\?^3~@6Dhߘr7;QWDQ .s4F#gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X}ʱk[&P;q9mxsdSdakmv=l@áa}MK*i]NB8V~c# zNFU7 d &!:kJP9)u!sZƣ׉pr{v`/&F!6@XQRd,+x4sN%c&xżf~`QH$V~gYZ7zXZִF! }]ŗXi%>d{)BFcPGļ $O!xE;Ouܣ/HEhD:gC-`>ȋca9G7CumnC>VmTY.|ybCfa6șXði$XpnoXs(fפMCT$*A ҡMWJ4DP -a;ch]f>Ź'26MewdXN.ًq:Տlv3nJ"5+|zWx`IEB;7q xodF#s*Ӧ],|م9+>\pFQ W#FL$<@L@^2_| kzPps۟|j(NA6J=6ڶpb+B!cLfSW9Z!)$L% < 6~h|l!ɟIC>yu0| {\ghqnf*_&b}z2Zbh9IX~#°Ҵ /F0;mO/$pW#Q uK3c9l0 "|FU\Mi27ךhV߻(8WR =!I-}EWkӨٛw-M63WoDr,Ւr8$3,i$.; % VgYZf4586571fc4a2eb90a6cb0d9bc6f435c0d7043e4a681f6653dbc3911110a79ad31633f9a1fcd6a75 adcca596685e64fd6307a9b86c351895878559b6 2da665d82e564bf7df7ab107d269aaed9a2229b9 9f0385d25848e7d5faebdbd4ba0e06149ceed999 d7dc4326a340c7f6b9bb794314b14215d2b56316 7 HOL-Quotient_Examples