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 (# < s Rewriting_Z:threads=2elapsed=25.593cpu=46.052gc=2.024factor=1.807zXZִF! A]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b38[M.Բ_N:!g\o#Y&m-ؿ@o;r . 3c۽!9Ck+:TGd96f #ce)\ִ:gig~d}sCÂ+1T$xxYN_ܧ#Az-kEFwr^ н<$X#DcO!3YrDV&ݻT`\ß%[%6Bh OjFR֥{oNngRT^YP>Dk}k$9Q̷jNt8O0iהYc ĤZ5c놷q$Z˶s%h2fUr`pRxB3[ێ_?{Ͼ8E=,Q5lyk˥`@i{'IuUޗ ׉Q8WH&6BJ:5&1 I ~g:h׈BOun Q!3mptB.P)pU-.#Zc]Ppx_'a!%W7dwƜhᕨ Yiۍ5ds.HNgߍoSVuLCӧ a3ymZt#2?FVc>2Q D익S+l(J%lzz ݻN o'bZe-m^kE(ꏅEHA_&( AQ~ rNG@@r ]<ѦZ-_u;|V^{BvJrT@p"BsJ.nT83uz8*ӱgYZ7zXZִF! ]ŗXi%6uTDF5t44` e}񝨻 c_]siG;KďNdkņ@2vjOAe`!yg\kY+:ޝKhv(Ϧ3XxK8FZrJq?`l*TۆMYI4`:mD w,jY1\CʺN?xu97dvvlY%͊W+P^895CDXьoacNtSz_NÜ_:`CtU2r/izY:y|=˃n9M4JSwkr4jb\Qxj}I$lOn=o.eO_!}qhdntZ;Rg֧mguI+,&.?H~|zEZXHuJ-VNp|gouDEv?deK8ʌu!`l'zCA~o`#@#0VUɑU^񙺿[WwVP x h:{CJ~E<8Ѱa'-t)_2ۚlޟ-_O[7n]jqjq$0dkq& kg5uq2Ȉh -%[Y׬X̱3G2QZˤiGd߶У)AȆ2;r75>i1L@`د7{]#9B_"kj(p{)Q|fȺyzp,xMdY g.hJ{װS`!t[ALlJv`ORyPi+ʕ/_\r,<b'%5@|T=5R/A MmX]4oO0w6~*˲B]`z?i f,H~|>?VVw/sT38h!Ѧ6F *HC}WM{=z -n"u)bMαyQ+jo "h}u2HxIDFVRE~d%yFMd/1\/D| C͆N&_CFn DцQn1{z~e ~2SkAc_6Y?H]>d-ī OI.h?`{vN:e\l⃕&%{H3U(Il Xp3Gvvɘ "vx|H \TE>~"޿1(S@wLc1zG`ȡyQ~'eOkwu4+Į$!7ThLˢhJuO $.QMvVĒ H̤?.ѡ+;uYgLZU=`ei4wy[@ "_-<;πWok gKt0p0,VVKv'_(G[ y}^TSAcH.V: O+