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 h T, ] Corec:threads=2elapsed=48.531cpu=72.292gc=4.588factor=1.497zXZִF! ]|]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$hG,w4f'RkJpԥH׵(O| ?fB,`, !?̄Ꟊ+N9Gu/)QwMuPtJ@<t9l` :{,쾥ΕD ȑ1iP/z3tO_9pjCζ^BƏ/|tUB$J|"X1rrۿd:"yi_$P7򵹰WE,]!d~w}#pVoF.:S_3ZNw便e"Ë)鬱gYZ7zXZִF! b]ŗXiɟ&zLowG8*s_'> D>(10n~;gtgYZ7zXZִF! ڐ ]ŗXi%;c.EOjuw2 ʐu&GHElqOT8`׿d?YӪV'I d6`F.r?N9mznp(W;9g?7 %5}"dlZثNBi_z(lYg._`{74ww9UѓSCtZDIMdż" JfscsoC<߅>D(9`0txh `)F*4 ~*4|Cf9ihk"Kԧʅ;j!t.^˺j.̱zc/ryopx]a^_zP̂~·Nlj/j 00,Y#;K DD"sABD]|*ǓLS30"7Wfc[i`&Lकn#!M(iyP}.1Σve6O\;ᩕsiPRBpȷemq8"mp7;DDw/ >si$(@HcЭ&Us%evLH=-=Gr>G:+cP(Bzq Y RPmS`K=sP0,)kL@bGã}1mzVZť .Sdy ~RE-?Y˕( jk|{НVeDLf|xdZ0t%EK@ƞ|AE+农=N&Jv&MbA 2S4|]}tK)?uleNE, _>vWNm aWфlbL  !`QCSk;ARcyX7s* 2cRKmjRFUBXd _g n+c~(Yj)0-K ˜ҌA[ʲѕ?%d/;djn(eQA+v!+3Iw61!W2mF[5ӳg,4 \k'e(wu]nELWhSvLo.#&S X/@,`i>8u&cU3Z ES>M3JV^Xz0w|/`g6kN/gE @>S $ޏ[̇qJ,Y4ܪ5Z|gqop猈r 3;uטz{~Gf`GXR0YX$N@Tzuǹ> l<@z~})") c\wxF55EQkohZꐐ4dҊfyOC?Ql8,"Ԕ\ [U #4(')3؀*w!m5c|^lu^Yv3ja֚7|= ۦhrw֬nSf-z~Uy@ >YmkATrV 9V3 51\ W;:%IR\QR#d48pWMh>[ uxQHeеfNn~4O^vDySع.%(BU{9 :;dT46Yd :ߌ)}U[A}-NH~&e[ZX/br:r6u'\;扰e}^/-b׳C/`X[X.@o<8^4gavVѴ/:ƨfZĂKkAUԎnfȏ}cc] j Y-Kl4NP9J8o{@ #/UW<]e?=n&JQvPP.,YjP:4*Ò5rtܬ.Qfl>?iTjRݶᗙ8G1t-(T5&Lufc%b秧inuf2#imaMIg?Z9uJ!'I7 Pff hgYZde8f660d910a760545164a0d65ad38166f38f903047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16  Corec