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 \t s/ JiveDataStoreModel:threads=2elapsed=13.661cpu=23.808gc=1.080factor=1.747zXZִF! R]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ %K@5')I"޲^79~[âw,dC*D< .;D4S!j&Gg[.[.gwv"ng6c}!}lWA1'P}H )͵oOH0Q" 0:iĤ*{\Kgmě j(N#.`?B#~ (D}G5: K}oў]ftAc*ȅ ٩%un5zЖ\53(tM@Y!\ 9-)5FՋIh# k3Wn Mx'tB!gYZ7zXZִF! K t]ŗXi%d2~N@s\ YS_|A0]<=TnbgWC#̮LqOϔQeӼ\-t8؈p,4 5#` L3BH?LRzuci|V+ep> YyM{߀Axd9 ۾E'BLɼt:ǰ͛9$ E=kwMN %mF"fe?Y6Vkxqy ʷQ=~zّ!^-0Qj+{SwnLm7ӕjє[ӢRhm50 Hlm0_}1 V'֢9QM]%>?,%}V\Եuܠgdbj>ҕ_y*!.WTx^<8XTp9׷U!' .HHA=!k"q|@ĆlpKq uPm/OrhASv"&GͰ9Ui!b2^5| ۣoz"%g09S}-:ۇ=x< X^R`k5@35wT{rc2x@b\ad<)=oSJr1${T8~bBN#);*c6ċ]n.VG >2Yn}^"orMݨGS~s&"%im/5E_Hypj6dj:Vw7F`]I~fBľnK7v}n"᝭ biwfbg&< =U;W-;8 ڳ5w]vxf!Uo6 K!0f+͊tģcՍ+8 Ĕc*zt&`a>"OCdpT[vv|oWiC W_߁ HVBXtD[㠣$C}Z*Oʋ %l+6STr+WCaJL'Dg,fqtO7+02PE