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 X3 <$D ]% Residuated_Lattices:threads=2elapsed=24.853cpu=44.800gc=1.616factor=1.807zXZִF! -&]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>heB>ADuP/ jfD7^uȼ%8fC#(yRQGAO#_b[8Tiwkt TآC 25D島lUQ7B؁OY*UoO*4.y#vX# IDubIX_lEތ?WG:ʊBqﺒrB %]PyI0tz|&"u݉ā xݫ:nܛ3R׼WQd?箵ZykxUr kEb15 ¼cƩnKaIWU -FX}+Dwu{-t"eIM#22XPݞJ2/SY98m CZױ1onnePUX~-SKr&NU΍"< o!=XvŰ#v܇<9=VA6G>`)axcjz.0 KKw<ܴbFɜ{:9ޛs˄G:.7~l&34?gFwI)Fe"LÛ(aE$՛/ {[@։-! wFXɱgYZ7zXZִF! ]ŗXi%9*]wV1T[_\hW6v C 4rJwHƀT @2+䤪M(P-E E:-iP~ߓ)BnyeEd hs* g(iEq@6B'X=eFHW[,>3WdZ)1oE*>76. <%{O Mn0 4a&pM͎O/<+,ڍotJ6ɜHM(I/uF_ JG;iOǾL| uM.EI0b2},جWJڏgUSFcԕ2ډԻmrz s,"leWƩ9SlGQqRթF?Z 4KIE&!ap8*L,rB9aE9OZSƫ EI)_b; pС?2;Oi5I#m|H-}v.n.򐭥wddJF'P7~c\ m/3:|S ?,5O8 }el۩E! Yˈ M3 q Z u"DTkӂK TEpdFTg~tu™'B—]Qoy h-ڍkQ6wUM?z'F<1-TBo0f#K# "еZi x;Jop"TUb8TrmGTZ\47qIH0Td VnF:ǥf? (U[s':+ lZ*suzٻT6b=c۞7W cH\EX(;_>MNFW޴=yǸWW<ֽdP妼U)Tk.Rϫ).س:b 4춽8Td!jYEe@W V.t'7y^{cJooݨ ρ3Y-bjs:] ;nnm%??|[dI&H?ZŽkULe%(ֶԯ N{b:A(Wg{w8:_4I24LD[ .@Ѥ