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 ` T6She-a~a@84 qJ64 5;MJW9#!,A(eKxG-Ld>Fu`RPWbn &c藭ը&"ܗU.\$3t}Z[53jQqQXc\r PZu#A]EY&eMc<RUaVlL%'jrԹ)I1h,pW'0"!5Zϔ+ɷF `X㱴OX*Bc@0j9w|.+/HaH 'ꀃ:DaEE7 3ahWD8XXWDݝ笏{q1ӚI]\MHAvׇLKd"MlY_Nݧ5œ!ab7W>1i'WZg գڀ2P+'ԪH@d2Ԭ;i*FKQZhe.]:F'ka5Kq;h]y9Co MUM֔[qϞx 0OA|DBQani {6bw=@"cS΢忼OtDI\(3˳I|qu:c D ub^ulK]ztK Ul[>;,mT.䩛n%i+5:"O3j!U_/IN2(>4O.JXV0Be#@I\ /r鿧!̭Xg1é'=Vl\|hhu> Y{) L^ZL 8`C+$z󂱲 ܉FϰXr2)DD"EgQ΀Rxm/"h /CCtO=g1pc|^VjbϤ¶IḂOHGߩ9TdO7?i5:N ""h%w`ܭ%YCZeKFX8g:2"0r[fZWYr)m.|nڡV" %om[AÃ/:Z NJc_kڒ2 "y+G!a-Bs +--V5BNnV䤛Ga­,DI .e.~nH*jP,-LO E&zM\~RssZn=s<>]UYi>,Sl:;5y c*Ox7_&1M_T"Ґ * %\XdAuBMG,+291!idh}] 2ܓ2,feIukro %N3~$_j^xK;[YyY:_c8$6kY5t ('xS[۹rv̍6fS+Bi nwQqɕ.J.x6EexV.YTĀOmp2 py<(E"2_G0JŌ+htW<{pŶu&:kF g]*Q~:L,hJr|y崻%dAټN7oS* tEb5Z_"iM@H snvdu^(A=2;I;;\3?gYZ60493a2f2f21da3426671214f37286bce3b63f5872476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28135ea9a3480b99cdbc198efd0dae72272d6c80c0  LTL