SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ""O |\ wS Bernoulli:threads=2elapsed=7.266cpu=14.036gc=0.236factor=1.937zXZִF! 15]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sRzDhO!'"d- aPDDYH)&L~g9Op=r(\zk3gGMv^+f/t觺vf 9szAJ܋eE) ;xr7c&_o?QʥU7 N2nXp8&%y Z!#IB!EP6qݍ{^tه,h̀#V^Q(D*rUޡ}$‘w9 jwBfGTu   Bernoulli`ZmŴx[9+A sޒ‹ʟ-tL_f0<-r; < Ր:;oR/~X{]; ʴB v-+޵5|9w6\"s;ZBOL2Tr ,|&ݫ9!6 RNu&ծGe]aa%P>M`rBwf{rAyF]2& hc!჏ژlK’Ϥ,թuv>K9W4,¾p`p0_M1˄%D )" !6 ggz飅=T$o0TF5ɏ )fY`XnCF*)߼IFւwY5#¢S917omoSeс9!.?FHzUfcٻ$0۵DfN6 ;0ܔ[-W 2gG Av@T5A4Fcz|HLp4t Ն:RH&]0|ļ$R:~OeZ(WAU/ _ʿplAH1Qtv`KbrG:{S"-s19U_fC .$nli^1vW›R5g 2ӧi_qH1i^hؙ#p&#,Q3EĞ-y.ҏ&;\qs}kQޗ7-M"06V|bw=䧆9(TڜvP!;z?ZJ)Ua ;قqΟj[`'%3 ץ5)g1!](~ڏDEkőE&'tI6HYpaё3Qd8R%r ZWGr鶢cdllIʌk-h-az6vpo+$;(;BbG:11E\ B Tz=LhiG :R^]t̝w)[3iUR$Vpt@oi1 a(mמs9Lrc5OtnS4'pa,8xw7.T~z_/"pz5P(#jybΉ]&;gYZ306614ae7e125cd238a3bba7fd3fa5e2d2176f65 50fdba8e5a4fc67c2e42ed269149e778daf78aec 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 63996b18a434731c4e83e9b8e9092ffff29a55ea b643d05d50864ba0cd5d29b7370becfbcb3726b080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074