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 v7 T| ]% HOL-Quotient_Examples:threads=2elapsed=32.090cpu=37.520gc=2.940factor=1.177zXZִF! 1d]ŗXf1-q恈N/|p~p%++˂z.AgscA~T|rkq$r dJԙ3jd쿇~ j` L`$* ΥoA/k*գ>XDt in<>◠dhSb s%(|29v3CI9בCL=xr.jQ  Zԫ>E4 qz:2!3-kuT"ŝ/"$DBZ2Y_SBhuԇ~u ldR#' jᴫLJC|7&irXeʢ*5OHbűͷOWm@6 % k .ūl4Y:L"}Si])?K54a"p kf0fkqvsu"Eb yia1 C%4M Ed^ufSD(< gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP %%b [U铄~j=23~Jռh~kHXҡWD$ n)i^ew{993\3Q5Hڿ{@m>W5oݿ`0?A#%GMoWDAA"a9=~WY\X;'2By%O K>nBڪ dK(gYZ7zXZִF! ]ŗXi%;cm4?O8ї!$Z@OdO{;Z,G@Ytoz3]xhIoe| YT[=\lK9hm~ZQvM=YeժQVm#lA00r8Z&, _N[ZBOԅVZu\'rur9/*?nKZ UMיtHvE'T+MIM7꒜=}8"dCM`&\8ECD N.#By݂ 0gb^KebV_i^bk+.=zW # o;~("v:OP.v$]fRcq]T~׿t4euxR(ӈuݭ$b*`ˆ_ʔ" #^ݟj3,z:fb՛/gƗl >X߁ \·xi69Ckr)Cc`pmyФHkv^)KBqC=s7O!eI\(`ˁCHiX)>t[;Gu(*ۋ+ Tz61o5mm0|APWƖ@#z75zLS5qDe4iOXPm}@ @KLh5}ohcJ!.+a@HT㞸zkHS sחӂ:t_fqEx \-2/,uNFvf ΏQ R4sƣXC {J=u -uS.\5:(ވ~Rw MrArK 6tމ/ce=U~r+^K(=fcyydyh*:>>\9g! \A̓gYZ56ae57f9cddabe44c455105eb9226c66bba4bebe047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 055da0440916fe08346a30595e3a9f318b9f41a4 f89178daf3e0e487445e52de21d172ecb0de084c 7 HOL-Quotient_Examples