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  i+ 4t ]/ Decl_Sem_Fun_PL:threads=2elapsed=42.425cpu=80.292gc=7.972factor=1.897zXZִF! ']ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6:xG.1أig!I- VW)b@3ioѷrt^v:`WT KkѹF!@ ?qY f_+)Q7Z!Bt+I[$ ?]07) 8w hv`aQԴOI|J*կ02QPD1EɈ/^fh'0L "{B*Y!tDGjp; %=9逾&Mʺ&- + Decl_Sem_Fun_PLd*OL+PgԄ?L|fj쥻A}Vy=!י:~£OyBo[c459`HjHU#1߀ѧS#?d:,zjװ:Q` c|θ'0cQBq nn}UE[k_o؎95%*@riQ'ȯY%-=k'{8%yD<ɎX,{f Eo? ~MkE5Ubv_(Y1͊ݝK[^ǞNg+?, cViUK.X0퀽iL[c*s螲Yh3dXj?~7͎ibN6t f '\M ep?9 )9|n駳,m7ѫUrЫ#qyT3_ `aS ]X+oZ2;@.~ 0toeTJɛP(*n,"2|^y]<pJ ©i)ڂ0޳{k2|-UU 39d1 U#CK*L]$6!9\A"Nby#k9Y'5sQ@3P%`)V|yݿsSqwQ$vx vTaΚ2ҵ[ wm)=&[j i$ 'b.`磾v|*12ZL ko[q(STgմ{JWg 0D$ni )Nb tfSȮiyY&[=(kXJFRq+ \W:YbR׍0v MVxA 5;9^T-ܥ_]ڱ`\f]q Í&#dq )2I#ÿu!t+^V_T W҅S"CV&|P^ 鈙CqO$ œvJKi -*$Sd5~ܟhju8`[{|b.[KI =oIc;>x]aL)rZJa_oƀRx4/|*|/JSy2,_]~ ÿx,cΝ:IA7Ei I6j}x# *GaBjBTO\(Cd0~ю2xȂ|o x-GEGnqHY;b雭Og2nCz%SGlqo(-uCP2rBY p2J ђHMyHO;s3£AXoPЪEQqb}G+4/[&Nsj央aWt X8am"cG{q+š4>; T{ozlKA&7Uq)^;E.+Fcg |7!-ٿa@4gǠh^GKQP 2E)k޴: zBH*6!إ], }E B*b5.5QV {y&.B|z{e O; `i>GQqѱN |fl9"3*Ұ}1kHcRE%o*[$q>E&t)9|omK§=n"+5|_ViЋR[l^iyR|Fj加?-QΛ/蒖S&\&3O@k)ՋY\MIBnCmP8]Z|:c6,uyq0tH9$[Mm=c&CȔm*36õ \k ^yhOn+m?ߖKys;jRݘ֐}w|wMo 2Sr-y)Jys{c+!e9.Gaz R-O# U2߰Hj*Tz!`[|ѣeIj?Ud  \pd:\+h%=`.X`i *k(CS@̗ *e}i@hjrSqN@S{҅ޏ=G%;ϥ`ͳ+nԘ߾MPՐRhq!|O5ůf(rHwrZ_ѵTeT܅o#j|Iӈjf1J By+gYZb48243d1cb0037606254a450fb67fde4c6b5f735d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e