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 k $D ] Separata:threads=2elapsed=13.667cpu=26.372gc=0.784factor=1.937zXZִF! m]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I?U!hK=\lހxAMl2B 'P/xsxNtr`Ӌ, [ד rdg $#roGoe ܬ+e_\VW6(f箱gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KopCG޺6<%fY D5{ Cэݱ}~T1IeX"ż3R(I8U@"[p$`HejQUgYZ7zXZִF! O]ŗXi%92C"׍[9#=@Zƃ2[R'!{,|}iCڥ_H.)ƍW; ę']߹0e*?뾧տur]mVtNu5) +3*WŖNAHw4N|턻8kM<.B?+ iB10Ttxx"}"JZyXYp΢'=8p败] Rt(Y1 @PR3,[ǁ:"lD^&uc{dP-zLUH/alvr @g>I ;~s)V:C7 ;ET{x= [YF-nz<ه |Bφ{] 5jQj2--^yom? So`Wϰ!99qxEeVYuyn3"!(6Eia#X:]c\FPr:SzۮR_ͬ~̊LRfdT^o_ X(f"AX~'[ntkrǥt|AAs`"Q 9+)]̼~?]Z(Y{f>,S®L &ٞcgYZ603b775c439e69477adeaa06386850d852dcaa1df4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2   Separata