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 cc \$ ]S Lp:threads=2elapsed=38.963cpu=66.592gc=1.608factor=1.717zXZִF! f]ŗXf1-/6vRZektZZ/BcHkIv[ W % 6:W.B-1sY%٤fO^VmFpKKǺsݞ|ǥ7?cj;iǛT7^?V_? JZW5djCG2~C!@.e5@uJ J-)Xt`g1F#2lv*TvM JXŊȎrֹr/wm8]Ϳ3QQ0ẒT;xE-ί0mZxF"+' D3UΌqM; ɳ z8 , NxKv\? J2-BZ2Oyx.i4!e) 8>n#fo|˷N<GQ< $8<[=JWC0o_9;xÎJ=jPm)'IuFD2T姇C;O=r݅|99|&4!Ҽyp)-pok d3l)K͖ϥf&E#} Rҩh\U G#y׭6m^(MѾxvӃh.U2!Y!;`䏅>]{tV TӸA`j;M߱7Hw$}-;/[#OF %@X;MAsn`1 "0 E }7'+ѽ샐uo!]0Z5(цƏJyG}.VٕdӪ;cආ@N@gYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qy@-;=st!^za V{ڷ*xTWfd-MIJY^eI*Pveћ0S5AgYZ7zXZִF! ʮ ]ŗXi%;ź9xۊ@rVe cyۺ36rӹtFli¨ qno0GmBu`$SP9KFlEt_Js29\l(SxoD:R2ZWԯH.m2QsL]]}uH,OC7M@s(մlN8g gDs9\xr)¶BY0t;aЧH-~o_IͯBg Ha0̕$͈y\ ˆ GwVTDf%3; s*c§]Y>osh6ՍzY2.Y(5NAiY;ߝ-Nrzğ!`ߓUIy{;xY*otYVN pR|[O7Y38I. })k`_Lb?[=r(3m(ߎryLUQ'}ʺKP%09D1|7(^+n65FZc; ԢlQAYv)U~6`zUp1a?YP(IO!mi>BI(lm9 (*_@ al2J.;Ҕ;T Z]PB09nT$N*/|6\46"N/,L.ԴS䈬Sf"VޮFѹ "&kYY`ܹ|Fmq^P ްܐ}bԶM2ZcRkc&(B' a׷Z 9B -Ywo~$ud ߵcf(D$(6q:fy.4A kX?0cS"t 1SBfM[ h;4KP(И!Lִ4{T]jŤ%f՞L<ǩ=fO|=J8L Zu2-XfQ|QK3V8E|?$y869W[:~:&- SB3S\&gz=| z6Ƞgl6X]+KΨl_ӡ_U# oLBETHj+SfSУEGgѷLOO+)5az|.^pp#O0Tx/!OCV8Tr8Ԕ"25Bș!%rJk!Ҭo` /b9YhUb[<(xktUR|$c;Zc۩ڇ_SgZu \9Gr<~iwqkﻝQQN//c3{v><;jɣfO:o 'Pb;B|YVp J yg|۱gYZc3be151c824297cc4d5d27a58b9e03f2204d1ce779d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3 f4ee5e6962aa8487523b865ec9e73e61051f407d  Lp