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 V9 d w% InformationFlowSlicing:threads=2elapsed=9.948cpu=18.624gc=1.056factor=1.877zXZִF! cw]ŗXf1-/6vRZ;׬S@à;@&t*ʭhP[O7X0]r)ekӛ8P\Vdps9 2rsnDOwe68 94(YFB-6%f{ٽ|RZ ʉA!-gG@^ݺHI9%HGf`ߗ?:[ORZ14"q^ Ab~nmĜKݜ)5VEf\ί YUGa3>1Fv}cl ?CG܃}wQ^Z2'y`VjcR ;D꘏"eOQ+ b d_ѷ. ̵@Z;㙊Г̍,u(fχMzIZWEa馓ph$ xWWQ-q qT46s/n MME?[lxPSS}-s'B*3=Ͳ Ke4DYt4KK#E-s,%I:mw"I2"v q kUÿK6'  X01UcY?)nI+)mk!@(!&")-82,-$ W.w/eCK<;|jhГBTBevmi |~ت tCW*ȩ*ʖe^4 ;U8k`bNgօ"5s{7+yi/:ƙi s1N̙G6%_Ε`egDZPƾ.k<ᖏplKur6׮yl,fJA^ v=yG?Lu*ϭ66sŖ\l_[Y~`7=ڵj Pq] U^iIwa;eDz 'Q;q i?-s-\Ji׶9c Z2AhȈ;=Mb b]roO5%ѫ BUv0xskԸͻ f%99DCSe^3i/ۑVZ]'x' o|Ś1XJ5bGr`@&[w ~Y jgYZ7zXZִF! :]ŗXi%n8D21Lk6yX6by`^}Cf,M+E*3OpmkM،jG/Gv*ՄYN0Ρ1˸"?d~nN~H_z'&MVW]*:R(Yc"K؍b(\v7E-40<#ؤZJ