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 1 TT / Menger:threads=2elapsed=11.769cpu=19.748gc=0.688factor=1.687zXZִF! N?]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is97);Yeue†3нߎ9AY/2&i4"^ I,v:Q,#Q8WёNP mV Mf[eKJOzidEEB-%/N?Ov4ʜZqsifNևIֆhځ0KGdCw_<eCݼ5B<̈=m]ZYAi=#V Aak6@ѠV1Xghtɷ尣 6>b}J,0fh͜4bb!`SH [rVf,s/oz?DQ9Jpe$qTp(VͪݟcJ`E0{'o5q.flֱDO![_|aK_ؗndgox:2K5a)i)Th"wšD$ E"O|mN+l_%ÕR.F`SoYn/G"'!,/I'M"wt1fs̰"GÓDo$`I lIfE Ps`6+&2Z4k})Xǿ^XtDO+xО?:Z pW,;V+.q;wUi@RpI?dLط^q_a1~<l1˔ a5_ƒ':X2̗ TאM(mF\FYوѢһ*dcsN6SD<y⁚t]<(Z8b{<>˽ߠ]&=pyn:scre$lóyH5ah`v1zkk *8 ?ܺWKKRfQf=@ F-+*-^ÀqO!.n`^ޘ?2%-eh t $}*,6S Wl\+*\muq2S?^O{>|%7#ox=ZRuXƩ`4l$xuHn cݜʭU`<2֧I.svqoƺsw2#'&"DsNS~l-eRxt@J (v":~>̅8&oN}krƄu+$;,;[S= =2%> xPDw+~^ƻ wPJ׀`13%;iܑ*p~ቈ1"Nm%8u8űL$oO}!-IyO[LwІ]䥖'dv 9~1oxe"ߤlv_.=uM~W_ÄcXuȢy;iaҁ4QERdM!=(SkhqV j$WR̓h[/E G wZHl