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 ++R \ / FLP:threads=2elapsed=21.321cpu=39.316gc=1.240factor=1.847zXZִF! o]ŗXf1-/6vRZlh[j^iWrYWrWzN{\V#%G&_ ZfPӉvj$RKTEA$>%:@!2/314E$}K)-OͺfoJv(w ]ؘrEr4/6)bf@ł'0n03`AC?j]5_CU {S'B*ttWu2y x(+cƜTӴ*1)gYZ7zXZִF! pD]ŗXi%6{B{+iyGg{yY5/<0+Z߉e&/c41tWqHm[60Jpm!}`',*=S3{ҾbVXG67w=ݾNrE[V|GkFb2lZж-c |Z\ D&4*m$b+=RptRpmiͿvoDGy>+?EZ@?Cى?NW_E(=WWEOu_wu3 nN+af%xPY‡1DG u`na40dwTٔ?KYT3ift-I\U8UhIA&Q-E}7xeT46C+N&hkҖ:T%q}t:6-~}!sBӿ;gĄaK7=#4PX]V+P6 IV p?oBy+m̚{&;yФшrX KE^ެ[+ - ޥE&>`'] 4Am-NiTZ:1Q8-:BN̤:D[üa-wV֦}/,@]" f%2=R-H9%GkwBG2+;cCn5(`CTJzU;lT_6D ~盦*9K7\]%| %".KlWثJy$g?Aߖ%fj5c/\R{ 15CA,%cw#<Ԁ\'Z'qikwQ,4Z-X1B•[;K3=#:Tg_Pl{1~㵳?Hĥbd[i 鿩S4H !*pSU[yRy<5'uYwiSHB(ىQY3#5H ߳Gҽ)IjL$@