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 67 $4 ]% HOL-Quotient_Examples:threads=6elapsed=25.965cpu=39.908gc=2.540factor=1.547zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%P'}f{YI1 X fؑ,i~YuLPDBvi|G9r\)4\/󉎏 $d!fCɧ>?ĶPm`> \=+ Z qC:9 zSwڗ]`]Nx.Y6EOti# ?s>qe 1 <׺Zr;F4;I(w,kO3l\#r7g1h-p'?LiBהWPܵKQW reȩS3<{]TLf!)bvXɻ g]͹>iwEY툿@31e^톴q8Βia}&>e?<^̀HǗs?u.Ospk@/+9Kji5ULdtXxVL`*\ӆ*ߔ,A 1CM_*ӫN\ Lf= H2^f=oFPEb5YA &]]/S\*o8 C*-eWıgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X!;#J`] 'OI|:N_de{/ EFIT8d \a?#X#1vTScGDDR!7EP~&mg @&"r&{pn,"|0#Z$ I724z vcܖ#q5&*iKK|^\SL:7r/rduaugM*6/"M6:iXFo](KtX57x_.#a ?^&M Ĉk O{G7}qqûlAVǙ ]3nm]PZnE̜1 Odqz:6, <RZ4 B_-KI Ԙ}h`wqLPоdBUR"O }̖,"%xFLoQy5%V/Z`8R_-~M&wh,msꖌR87C_nĵ[iȰ^t`2*OPtMJMS]a,%q)N]!}y̋ПEJ8#L>1rOʪ:.ۅOkgs̷*FA/X=S jըrAYKDa6},bB,!~^e~ &jBv%y?z#HuBr!iVQLʉ2> -2alTn[9G6!u][ͱJ+cd|v![.i IlG|:>"79F-Nb,]K)E$G8pJ,!։^/.xsL}of0e&wuYj-[Fc2S]jy?Z%$hJ_p ok:gYZ5995320ea5adcafcadcb27156801404a483b739e341573a915193db629e8d127a9a53502c8309b6e 9e237ec730f89ae65421631a0a1ef3d055f5d625 76a013833eac43a00f0f01bc7c1c66e403c8a835 0f2d31ff53b30fffaba3b29f2347784559f79b1f de57ba08262a81180794d690f68c0faa7b03ced0 7 HOL-Quotient_Examples