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 + $4 ] HOL-Analysis-ex:threads=2elapsed=33.681cpu=41.476gc=0.400factor=1.237zXZִF! #<]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bmE`{.t|x*\ѧMYnkv|qNaDmbo4-RA/i]2g"NZ=blM`X17hpK !Ƴ֡%vg&0j'mԕN({Ertyk=7|8#>K=pv7zT6ALO{,Q˝ )u;Q;;F8QGۆI|m! sBUug Ep3ޞgYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.606cpu=1.196gc=0.000 \5aUkS T}YZ7zXZִF! ]ŗXi%;起_9r܀}oSF? (fR<8R(2UT-9p N N֜O2k]WvwQ'h=T//f>W,I:*rqz{HhRoU YM?Ho۰$'Up_e W3D:|\lor`߁R!Ԋ)C_tb[3<Gh}:_AH?#f&T6 jB!j9X+^VZ9J 5 _M4c$+Vq}R,(MY=* t=Q%tfU\I#sEL}?= ૥Mjeb6ah5okhYHEpU\kWB_:m7~4o5!7>5rX4[g*=|sp:dX=\wr_t|2 (j?|BҠ?Iɀ4_4;~q2I# Eay%LBv-gG2텥 LM}\Bw7n;X:fWi4"'e43BKR*O~jTt\ὤHj9c:!GሳhA7s2i)ٳ L ˩?0JPk_^\UB_ awR%v2-.HBLRJViµM-%gb8`guNBD3+2BK_"M7V-pw,ީ) Ww0Te}Ihla`sD`lOT>yǨI\3?!сjr2 d2!CG㘍GK9(DCׅD"$ZgVfpU8% "ߋ6yIT̳HL M~fW㶎ےVnBWDJ,Q j4 ū0~7}m;`^o\^sKM 2szXuKnTB]?es.PV@Pꯀ,ިT_GU%\%1.o:'iV><xZy?8Pl9( 9. YGIwdg W[Z+V^j\X&VM ie.ofd+T{SoN#y?[:o*5SӺ  zHC&