SQLite format 3 @ - l l B77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #4$#/ Free-Groups:threads=2elapsed=110.101cpu=182.012gc=9.944factor=1.657zXZ ִF ! 7Q] ŗXf1-q恈<-¡$johkX2I):6{Ohq\g:M RC Dˀ.dge~P09w=?u=XωJ=38f6s10J3LFYاƔו R2M{RɁ< 2PP<>Gm#, x 9(u]4Vb\b<3rtl}:32ua)RLiTfp8_CLXdYe|<92l Թ)h?Zwbt~D[r^q?7&a$e"7o&}AAWTDBqy]5L2ͼxʡ/7Nc|cL(3NvjhQcO3s v) ϯ RWgVJ+xrA/>+٥Y YFQ1n^*~WEC:F$,U`Q1CQ?OeڃW # Free-Groups Z?G +(gyw=8Ye wO<"U#=q0g#VU @YoXh$mjo nh0Urg+g2rSPa~U59~|YR>XaCliԬ˔HtzwPF~!%k"=boH>B]fy 9][TGyJuR:{K:="mm C|"=^CġDWD4_}>^Ňs7X;i٦;x؆!Zns0/"p9=YMyrC&ad&@x4 ?jNl;0sIG+6ϝ&mM<0C*ؔȄL|,"ɠGIR֮R>g9 ;Q,oe|`n) 4%UC$yddYiG"pۀb0*(+Xs]v0#l{fsՂ3RE$1VDx5։C;y6='N<3H:M:Y,&&Wl6T_4Oָ#6._&UoTi^I<Pfܟ=u{m( 8r2BqǬ9wHEq|Ou4?0^ G 0Iv v*a_Y/ UI?#`榞vCl)rӛӄV+c,,Y@<qDobgŧ{z'U@B:-q?C[h'qŽ)fxQuzv5[髊+~j(`眦}LE#7/Leu<ެWipJ[ {:\2nTYƁ"j@JlWY@F@(1jj|"ڗ
PɬtVJ6&g.