SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info +) L I/ FileRefinement:threads=2elapsed=9.538cpu=17.888gc=0.156factor=1.887zXZִF! -o>]ŗXf1-/6vRZc/[؎ V~V1EfA=+JbE}Hɰ!湝G`٬dN$;7X n@i,bШ5wHbN&r0O1U.˸ MJ>]:(T(i ^{6!hgNJ]$ ) FileRefinement447+ K.Z -Y{M3<7\6(_/(!O<O,BnJE"OXԯ tS.Y!3Pm 0˷kY(zTѫfk+,0Ŀ0zC;Z.!bH?*`r%ϿoG+CW4`}ywhܚyP$+QcuuQ?^{hyY&zC.ІJߊeΎ+Ƣ,f{.Eyl(2RףUjH;Ol-piJ~Z7bĚU,FatO99D-(׎EYI)9)wq ㄓ+z ,wP^%ǔQOgaw>~=TZE"XX(l9{tN_)3_mrS]XxHY\CQ㥲Rf)Q?Q}W"rV(K:}h}3!ϗ5OFtEns䣑*9%ώERX⻶b}"AR_&v0z^ǹM1j2<=/"A{ U|w>}6(c9!aݘ~>ZgYZ7zXZִF! 5]ŗXi%Vgke`53eb8* k as |[YgJ#zѩ=^S,`}$(u`3u ή<gphB.yK;wJWT{5b*WCrղMќ>zl%!J 8`EeG4x-A/ĊC;+! G V}ɭ{_`Zzv]7I$|-+װI_dCP1BsQ]n_) LE*Q761H13H Zj=ܟI.hδDu˙Òޫѫ>BWMºPrZx1^Z'ℑ^5sst&h/N Cnب:11~ SCWn9~,y6Cq2TZ ) ?y0$SZwOYhsSlBG6tg$3u.7@K fsʡ&ȶ u< Spm5e9.VGD>kڹ\5g='J Q1sdtd@ή3s&⸧eH},?Y6١[C߱\K)_IZ yk;t6@"RG' D(kgYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 9ad482ea1ce287427e91e9b3002c3c384c0bf89f b80cd2c3354e8be697c2a705491cdaec817ddc97 bbf04ad7a97683c0d9b3e3d09e586e5ca645e13580f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b