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 ,7 4 ]% HOL-Quotient_Examples:threads=6elapsed=26.754cpu=43.496gc=2.336factor=1.637zXZִF! s]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%kUcʆN?E= lbw$"*Ty.S,tyG_N[QMdx T*@ԡCWB-өzsrCw\+a*1bm )mE@ze}XtW,Jy,tQ%H=1Vy?Z%)8Z֤ps#AT O}Sz"k$ecIgWMq1m*ꤞ.LhU9DVdoSma;^r2 'K6yZ)h(^p\tuN}_nF8o~'+6*$y]|h&= Ep~Ote"]b覂TX1E(eJKo4O 6VNxjvJAE-WRғ4 - DO.Ld}Y:P P 5(e9ң޺%t9h+*벃!eY=cJ ^=H'shgR.-BH.v]d],;7 Vh::\`W F(G&d  x:.(رgYZ7zXZִF! }?]ŗXi%6ut oT22-,6R<ǃk ^O=ȹ؈ ϩAdLcexD1)QK_lchk8 d ,9B\[9rƘ g~>%D Di>z[<.1oD'# :^RnF=P\뜳6q`:k"G‚4VfTYRk%&@3O.i\ -+Sʚܨv}RնwxOg̀A^h{i ӽ]JUMcRAzGUѤu*W/*n 'J:Aoik}x$x^0ZW!K-pݢMh?7h9"lL ^TIg|Y3suܦq`jK-f.!`=kᓂ9irFqȪn+V86C+Df҄X:Ә0z%dGt QTf(wS/ၷSAmy|:jvY߅u*0sxdP;w&70~4[V'!7v ]~&bL\؅* R^$|_] Qy8"ϊ5> }_QQA <S9馬0sqQU>'DDu (f}gQV<>kT iVN괸t_iAO58lee<g5a zW'K GB QӾ^+;9&{l~+0[3Z`zh4 k9t0lnKqؾ`@uPxOBd@bs+Ak4ZVbR l,4 /J_F^$j]E1B놳ΛR SQ ٵf|CPz_ݩjTN"ۡ5)򧞂KZ "..VnUyWY0>5C솉^׀[.ʿ|ZL>SEd-=R:IMO?S|S\p'g(11p\Ui26fSw"X]1%˔4!6}],F ȇ6(gؔ %бgYZb4c8d62a0a7de017529e7949a8336eda2d9742d4cb9068c52176507145e624acbeec2272a10e4f6a 87206ccabfeb1d393ed2571f867fc3906cc88dd1 fc60ea1877710c55efdbefd683bd6d53b3f57175 3a83f9dd818d1298b5a0dd51746e4c3050018207 7692c8d644c4dae9e2357c18f0a5b752723d10de 7 HOL-Quotient_Examples