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 $ $  Category2:threads=2elapsed=18.206cpu=34.500gc=2.240factor=1.907zXZִF! ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gKac=g ZQ0T!>\4 UpBx{[,:)k0c\\( ˔soJB[Gm k؜rR :uyq1Uvg\T8d/TU.Ř\ z9NUplBx¹9>yؾomǦדRhh3Dt;$ϝ+Uy=%@wwAe(N28m/zdʶR7}̞Y)=yp^!/Yf%D>Yg9 *mWHi?zx#.wz+1{ oqN`c ~8.5h-dy}=cl )v±Id*}!PG$+TLt:z8-]/-*:AbQb8;<6.֑v-1P4};#q@WFUgYZ7zXZִF! e%]ŗXi%6˻hV 3$i @.xw3F&)EG/{`{76W5@X2ΟK"b#逢v$Rfe1јrI&z{~4I6hk16tM[ . =QI7U\;_#;VI7 HE +Ѷo({Ͽ FbH}~8QKh6enFygEF@UVX{-HP'U<-%έY2H~.n+hc=G3w1e?z3Qy2>ʳU]!z"ZAfPL=SeD1y$ؗSDȏF^3j>Rz"L##*N4G=(TR߉CBLz:ad-MC7rNbiFmMVhb ӂZVw\4.ru@lejSĺڶ,O՗tÄsm4nV4*h)D`VTgi>L1V*ޢI%Bi7cug!xJhfI;k34PȻM1iE9Y+A|& 8\ {WM E{r+:qq٭[җwQa;'>ݶp=f"fxp(`v" 9TVFjI3 to9u'YH/%40KxR»j1s:p Ӑ o(ԳK)^_Ilcԃc$̃scy$dx6X Ss iuys;il71([2Z.!"v_fTޢU!7I7oLݭqBi&:1V@dvt 0 MavEVyu}OyE`{|GF~^O9?>z io:jIY]v|zUi|U8F]t7V ,oNHUz"NǺh44C C[u>iz