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 l# d ] Rewriting_Z:threads=2elapsed=26.426cpu=47.748gc=2.012factor=1.817zXZִF! A]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?~>z]/цXJ: vPN4.p-4`(ɦXسMZI!;L^28/{W .Y"rt :Bf$[meʓC)Nͥ`#킯H?gEԩ夈5]ȎӰ eQA /\ n?xbZaA8tI&1sm#aKH""} [h XpR͒\KH!xcɺX;,-CӚ=/#(x3-9|AEVu4Ӎ\b ^ [ U#d!I_aT_,$jB;}JBݳ,'%E WVnL [4B׭t^ImPmRFwS o AXh7";QFٿ{j4czm(́A?:LYAy5V k&+܉s c}Lbic84= %>k2ޙ4Dt[)Gá4ǖࡋD0:_gؿT’Mw]Rcn2a6-F&\80QS><(|eZ߬Dj ]-`Ob$ʾS(uӨo4IiFp fz픦 1Z2j n)^693VğgYZ7zXZִF! ,]ŗXi%6At}mg[¿ r cѮ*?^X q19 ]#`ۛ=^)O3-cRe"H}s ݒ/)qO.~E@Y9- LBl̑uLFQjGuxfEXyJ6m߳wB^r ՃzU7U- ʃ݉Mwğ?TI`7dME4 h`:3ErI*1щJ]մ6K{' "7 N^[, 6QS%6X<$/I)vQOcXh>l[AI<_24 5}B2 $!ּ̝tJZ_\ӽ)rޡ םPܙ*sNi%KIJ/p_|>3;Z?ӰM3i40xyA/\zpv2H}±#u_5($93+}%N{zd^QYB9oE^nIWȒbI/ai&9/ηSvW4A6wQVSKX6~R rK Ồ-"l%ОDS-m2ů| Va$ Tmv3Z+>8X1YjlAsYo2/8W14:JB;0/;+$>&e/3_2߉^6?,G5WC ^<-}6_>WX P~*ưmFGa4SMpmX&bx4wfG۪KТ+x8ٲk7]4~vSMXr"Q3]}@ޓ%흷z0?.M1 dI(k7wi?Mmc}JSQ[{>B|THAN`~yԸ?Qt:X2X}劵X:"uzlQDDN>M3ov u9|D ,%КҊN(ٜvحՕvKq/| "IR^4HEW xrYֳϐ&STK|K"pL@'qM_(ƭ<t&U#eܢ392ԿWn$f5ώ~ ^B~hI&=[ܬf~sEBĩR4 ˃8vڔ7H.؄ ݏ-Q֭<ԻƇ8(gYZ6021a119898311dc28803d00884010a82331794de003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 323c221804dd1ad3d920b8c5f9b6e48d759040fe # Rewriting_Z