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 . $ ]]HOLCF:threads=2elapsed=17.210cpu=32.136gc=2.008factor=1.877zXZִF! bJ]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H@t콏[w"@;ZW7da^뭏jIxؿbc@$q溻v|doύtu`?h,%GM\06\(A<=  $%}; r62@_@LҜYb_5y:%Ǚ=፯sV1 GK wIR5 ~tF+s@ݚ?䁨 xuN({h:hxs֍ɪqBC3$sSeNk-9J53;\8 l JŘ'= IL|#^4 w Pٜ!`kyJTJMkZ$4*،S@dÔ3GBor DQ`Xq@ 2fQW+ܠpل_B ̝)%X v+-w=RK+"hv~{R\k.c= *6QFF"rKgY7 gYZ7zXZִF! bD]ŗXi%6.P9r5ߟ))&T'GDmǺ NV5W37 >љ]"eg~̉} Sq?2>HS13ǚZ0Wy֧HӘ̣x/<4uO^3 9,#"CMȬ745uNҟdrS˺UNQYe'ۋƮo/mtDʂq )'Y(<^l`>~42,<2hjU]L*!ixss|p'6J`.Qd8<_\Gbm@1^@ ulG;"bEhꚑ}i!cYWRM юyX]I%7`D bKcz?-5[K ͜ $&g͟;>t 8z]'S j2p3Vzjv֭: Uy? 2}И)TB5uEt#v39qZ^ֱصMzI[ .d?LNtDS]⺚[ Dݙ-lҞI:ٖ9fHћD̢{Y C*xrWz"qMCQ FJtwÈ|j/|gnbkͪBDPnBѿZ#8P&AFf'~Yo\KSRxudgZaհG˓_u?'3 j9)мgW8dЪ-Q7IjWx3Gk ~4'1m0bpacq ?cMN9-LKgMu{v|Mݚ2.٣!2NKcW.P1WTiOQbѧ!o0Pˊ