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  D D1 <| ]]Deriving:threads=2elapsed=59.774cpu=93.924gc=4.620factor=1.577zXZִF! 7:]ŗXf1-q恈eO/)9F(WRkv2}-ĺC%s -/P1KOS1VC$N)2Rw[˃#׆k[҃X]ea~B7}'ưp(SbаlM}.6w7=\?2xNF.vrb`&^c;EDZu^W/`]3J/%A΀6ROqniうpu`8E蟜pUrq8''|r }bCڮ׻ql-,-7=Rjo J\d 0-zvփi10 JK Npy N|ar5$|w1JwUf]\ NYw{JK^VFR3MP% Ɨ7<`A !d 4MEt'"m@J|8N{V&F Zy"0u{%%d D%e{=\5z3.b ϳ{Bת`dBOĹ::"6 jRW(zƕV̖PڑKl 諩/fcfDGF*2{~5n*qpaޜI㾒fz줰hPڮ)ض, kފ?9;$K'<߾eBy u9`ϗLkU+˃"\+-_vVTN?XɭaS$[O.%2 lmף+/P@EF.S/kI*̙Fc Eg_Y97lL7<ȅu;*f=j!_?a}{^=R\SLs,"?2' on ڤYUh؂8c3DPÌ1IhB*ѠhMr9^;?1B'm1@_*d/Shu<5X&0gm;9ǿﴌ yF4} Oj>#qz\ xФ2 ,>v dVC| s   DerivingqY/}$$S{> R8DnSW$j`̛_{dcwؾy L# pj}lfV]ߐ ЁX-uzUXeS 3)x%%zRh4%0K`O?gJ-GhxroE{r'„͉ \`.|< 0$rf/npvڤg5I/1@jS@/u'lL:28Snq #;<ԣ&Q.9 Ev׀l跂gp @u㉳)4Xo4[ u7brbx4!1(5ښ:imī;wЛ‹o,nk޶@YL!7D^4@vͫrnփ65I sv6n* 1NF n _gYZ7zXZִF!  ]ŗXi%60fd?/\t.xv˾o-pm™lHX"9xܫI&TshY-s 8NlJY)$'#ݜcU!Q<נܝȂ1; FĪG[}McTsE-.=g(szvCdP>"i*(KͦZfP#CB|ܧ"V'x)Ɓ6_ @tׯҾ&^fՏ~2I%wS`͵?/s-~`A]=-RMB_Nk^9K @rq ِ*5Mj=̂xCLRw,)(MIr|u޾g)=N 뼂imTu7~C]㘹&,1Y8"@}0kd9L)ζ{-?hrY&2:Snoj'|=&֞yJO =_EӶxތ ׽8  -*kxz0 q:$3.p1VF?&;=־|[\yѻF>D…k[2rc1LE*%2zP ::}7Yy˅., wW%ܪ|?S }V+QeNH%̹D*Upa$~ [-42&fpSaԏ- _k`6_-RH28VGqb K+qDi46G*HF869;ܐZULnz-{g7[YedS tmkh.i~ ΋dŝLW@ ;Bc})қeYdw6)2n?= ώGߪ)N, v2jɫ4(MM9Qk^Q~K9VW;װ_hq&` \(v `Ft|`7 eCݿ_D;^5S\UK{M":ymgGyThhC x{~W?Tb"n O&*-xcgRLn[cpW25ڌ;8o`O@V Cֶ+1y](DAgҨ? %~}q_ncR1|.{({fv|V}Uឩ ( |[e H䛌>Y&Ț:y6PaSҙ1 z1?5fRE#3e#j8BpMh& =Z5 ;˸b#TY +F^38ř% wXE.\9N" U@"g~vV:P+cgY{Xa4Tr&7>{w`$J-= yq,m?nmսn?Җͼ2S,H7U+?%\%Kue@!/^o 2g^O#/}΢ /?m qڗ{Z(/ar š =;k\0]].`hO$Ap.dq.Qҡ}v38*$eigDjdV!Cdm]]Vhˆ׿]ٸ׃|36Kf\!riֲÍQ(8?qi\=<,h] '6&йansy/xNa8?Ћ_Mp`my$Êb #GѶE66kR1mh3h@a̅$Ǧ˵.4E2~h&>7_jabjoҜZOnVQn{BpA|T"T'6A*'JH2yMB ]R2m\ɍ&Ι%y*_]x !)Rs`I4t rCAQ^V0~W\Mz !+VFW)g~:*֥k6xEMkT-9; hv&}̾iu/4n&7e0t;DTe4,dcojz1|TG4CSD#f,3) 0ɁcUac5+RBfsWu~i Lm4TnG6;MslPRR'ZhC}N[uoo$G&E4y.ȍ S_:"keJ'Jxx^o}7!EB 9̵ 7ӡ8ǒ,yn Xk1y 7N ^Hi|ܕB3KZsC30fN ߬nd+u-$Ž 0x.0?Őc?cZkgW.ʣ;-ӧfnY6-q(J.za5.F8G҄U Sys 3׀n.})rd ZVP[?9mTX s.@&'6+:[6^ |c)mFl-* |&Zb=u)H4п~*-Oa!_? 0!8tP6M_5$ۂ4$RNARdc0/>u /$50ɥZ]F6[=@ 0PiOR6OliEHQX%爵wo"I}8+6(ÐæuM/ղBP ڻ|z;j-%7n5wՊͷwt=@Φc5=,}?l;eD'-W»TXX2#FC>xXF:!=5rQ)}O#l<Iؠor;5B5⣒o+6p|('Eb0/R`SϵR,{i\X)hp})le5gYZf03a143bbf97d025ff90e4a6a4a31cae1bccb787e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48dfc0d3383a26548ea0a74864cdf8909c413e666cc