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 R+ <$d ] HOL-Analysis-ex:threads=2elapsed=33.889cpu=41.488gc=0.668factor=1.227zXZִF! X]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bm{.t|\@[ےld*(1km"s2l# ߠ?a.'O9}99LQ1ΫaneQ.Eb/PZg, D!#h'!FR:j~P! 9sBa+٫UfcӃVs%1cw8f$no!!9^G|Y><_Sۨ.'b%;aĴgMJkZS;Z.\8(#gYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.625cpu=1.228gc=0.000VL\wkS T}YZ7zXZִF! ]ŗXi%;sI&q5G}/pVN,RÁt%ԯdj ʬI "K!;}[xlNEC&l]bEj{ILaA᏷^}=9F RG2fƠ 0"%Lq EIy.&"3)_f.v!L^0swz- PR?{-{y*-!H+ץ*Dչ< 1s1"˒͗\RE*\~Rz&y>dm:P߻BXYy. /6桌S+Mx yv/M0q0#|܍.`=o*.Vr^J CX.3wI<@bB2j;x:3{ts}2z<k F`fQ=S >=¥(fEU/Q;0ZLQ|M[!)씗b\'DWҤGwisD1hؐH7Hz&8#sD}"TkA] Jb Zp3N*DɌ7⿁XKr?\a&7 *j‡p_U}MzCJ ;[=Oљjl,,XCux#v?{VV<+OX764F,'p8ڑл!ġ]](ӈEåî/'nˮ14ҵ?Pj[ װQL nK^⿃bt,q2n*UOV 6[mXD7J% ՏB|pl\VK6C{Fl,_~^`W5H+ך_S^klC(ro 2j¡hek,!)0*vha,3 #8à!uXsH&=~ՠ S{|}Fi&e:J I7S̿bC+M}9޳5邍C-r-p7ܬ x:=(WikqV4 Br|?b mF'7iwNg ܺZ({v nYVũ0, 躡22(HkJSHëBr-A7汜ݫ"+eWhGb]&G,4]`Ca,}g)"*,cMD~xrE1iA'L.7w;7.rJ;Tܿ!0gYZ5ed08c1aee7aaa44ffe7cf5552fdb8f93738a2595854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 5c289e05c63eeb39c639ebee298d811495bcbcc0 + HOL-Analysis-ex