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   f4l ]S Real_Impl:threads=2elapsed=63.241cpu=106.168gc=3.048factor=1.687zXZִF! -S]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= =Lţtq01+vgwM Q}7>e-F_ssAz{|UN|^J~啔 $J=pF|vKs/D}9 rkU43,Ֆ[:dfE˂F ͍KלEA7/!ܷ_QP >ג:[TT{LJ=Yw+Fi?MY>)yvҕ)C+44EF;(gxpVSv0|aGʴh.Kk1pV@no#^nZ'M`[rɶa`O[G/ab(2HR/qrGXÜRwҼ=u)_g.+3"R%OJmgrk}m|.n߮5tFDW]7>q*._zZ:,\atmV,$5 v7+5f䢀K`E֤9]ft r饙{Ŭ Za*6 &j(ke3 GEU9) ^T]?l `=5$Rz[0mmS>w28G8;[ml __YZ,8ٲ3DO~/C(s QNP'i"T)1ż+&O'6"*j$˰.%" t#]XaQNM}9Z!Qj1t;sѤXX:e`*&TDch#`\.'oJSJ#YlKQ@0Mx%t 1LJ1k7\(4]'Jm8o o7 ZVLrCsdjmˈq,-oobxu,Z.BJT(y: ?j{b08X)RԵ'5`TisIBU>~u!3_i,lW!Xz-2ƱL%ZS5bISH|sh47K6}PGtXdҗu I̿bThf/gN~Pٰ/Qv8L{e$!/~E:s$ƺ{Sȏ2נDClQiuF ,Gz<s4*qMz9}ME;8  [BeS|L#{ँyl$ ۬ vW:IR=-!eISSѹil9d񟭄'NjKpot ϖ:E7Ysz|>:m9i}au߳YĒ"dGYSwޖK">+C@MsIC%q?U<釪48pg?.m72y=4F90n3pD+ EeKBI$\7B^Icj8I)m6#a5<ӊ?ivrCЊaIӅ3D/3'fs?bYwIFKTv/(A63zDq.ܡ+NIyǷ]9ulniޛaZ^n 0 iO٢=}QlfUic)֙.^Ô3zRZb$~IF] (S [>Qj WgUt[N^BU )* G#[8e V7L~k:*D$9YBn?`6peZ ck7QF^i1͈]kѾ@ipt=جĩ'<]T"'C0;GLVj1+\αAE_zN|Vh'CҌ:zJb}=` XX;"?zz;W=Og]{ol2RR#; Zv]- w_-7uȒů[I*conp*hҡ8ΕCwyUR \9^fYr!NPP: {Ql<ln8KϘОŧmLᰎ=RD#),0j&M}k,BH!܌?jq$ STӷݱgYZa2ace58ed6b37fc92b639f675affd011f56a14933bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 63a51e4e421b72ac37935db5343ed7dc6020fd1b 633c1f23688a89b32478db5abf929407ecfbe23c