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  9 9<3 4 ew]Applicative_Lifting:threads=2elapsed=33.556cpu=56.320gc=2.984factor=1.687zXZִF! ]ŗXf1-q恈ܗ4ޤ9ũBvp# J}Rц cAPZc>cWLޙײn.Ke{WIe/ζ ū%qh:J4q~5 P"ڂT`ZsZ=~즖*[ӖT= @sF4_i(_w/мA!RVЍQd4VٙY>G>Et[uϿ8X{}j2NʰjZ?rN&JMi م(OD^P߅hA91+3lFztGW\ts, ƋIsjsb!ڑŽ<"L!y,Wvqo;ónۚ$D#Z?1а,Ev X F߆;2opcUD>JYP\1}S)ԄqkR/(6#,חO{3vP#jsWlzע؍AVjj8l/xH[j%POjU:"w=4e 1)i7cZB.تD Sҡ~lՎe-W%R{Tͭ7sk.,[i#1KOL aԃT?z2l?}S9է%ʅ8:@Hk&K´7xͺrSDi' M\O+!&TW%e,?=«[M8yC{Zo@X,-ki z[ e[ܷ;]z&{0ufpN#ˀ<]جSTjM%?A=PFN1(T C6!Hl %K:} ؖ F ȵލ;YD92(p[gChLcD^?w< Q )]eHa$>=z+FЖ͔}bH" KF ګs8XPNV&`R9cX>=V}p4EHnԬK\/u]XS@ 7 *ذfWgKtg12s Q5 ;Se>wĭO(IyOlØUA,{~.ʿL;Qc_M@Se 4,YyP}X,.E>.Z1ʲm4,Vh4JeR.DVAT