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 ME << ]% InformationFlowSlicing_Inter:threads=2elapsed=36.837cpu=61.840gc=3.676factor=1.687zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ*yүZW z x6'tA-} 51# HSɢ`YHIku+0w-$(;gG"**Ax(ɳѧU3='i*b&/ rEp.iG0]OpEvnTpzgYZ7zXZִF! & ]ŗXi%W~īA4_#.V!z4~s<4wTjhx  翲qJ=WX&I[HoLt.Jo݆h8qRm_wg 2<)HTpM2! .q'f ͭFOͯ.r*qPvGCh_kl @"F@U %sm(4 %ҽUۏ6so(/C4cYdVFz틽*(4jKHҁ-}_T/̶ym3HW)D#DO7HŻAGuw:xơN&3qԸX øᴊkz]kP5$ϔ[1wsff5[$Io}}бW㸡Ɗ~?+( 6G o5'; pF :GdY%Kf\+蔲 益Á|$V,i2k%|=j1pv](;OiG\>c>{3w:j-nݨ2᝚/p1a%ӇQ˕?i4 j雚e.u:llVsn Ӳ,-~ "xn[: ErC]17Ht*^ ׿uo(4 ͇I$gC"U߼ف\UV,Nr>+K:-MAV@5JY0>^1+*a;f<v>G"ɟo2m[;2nVɇd8),OG!He^3 0V fэHTLlْ4 dќ޻{ZNUDp+Ƒ_!ۓvVGVtbto{&P'~&w0Oz^޼@tq=H^_l.vY%= .ΠXti۾H#Omg֊YsYr)cP%UrڛI)H> D44$G!m]c ~|PN yi0|O+Sc*<8塰q-Igoa"Mі9k `/Ϝ:Vpz-_1wz ]XErKOa"{.};ں=VX mq*O[&pG:ۼeH8XL>*C,ǫ 26f&j+vpi+cn߅R8/C]G]"b\/O`/þ\gvxp6U6G:>EaWkZāwOFZ)'w24q MտHu^ayA<'ŝ~~՛j!\s@*{u]9>cEv͉$$棥JH|1}J'A4WtD/JReqmtynooZJTiҼpI7MP'^s?hcU_D( =٧r~[k0ʑ"Љ T~S>70ztg!]&qzP+P.4X0r4f0*4dmW92$ Ze0j˩ͱe$q{f2@ÂSkJ ؍giCұ)ÖV,)@Tӫ+:KfNϸ#-N"{PZeL};yPT93'!LT2P8;4[WK]{pJkIZ';<X˘w=Q: EltLzymY\P=t=hF|Ԟrcβs♛Ypth