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 _ <, ] ZF-UNITY:threads=2elapsed=16.386cpu=29.280gc=1.068factor=1.797zXZִF! z]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb*gB=uh,ጰԚ A,_1m˃ ըPVӵtitrB yv =Ek!o2˖˞ X~3A>v.Au8ݪWj[>K]徸l51=AUxQĉ; B!h U (Tj]D0'y %)*V!XK3MA/J {`,0:6oz~W_s)ބLKP ͎cԟ:Pp!~dj-@W΀IZC2LmmC3fk9҆CP"7yo6 nS`>(rnO|ϓI!{vI78DHrїwǑtLj!ljs3{]ѸmUຆ S?`Z܃j 1 sAऑ9B`~tk\}I' Zx|M1uA.GũT52rdqE;}"tz!gYZ7zXZִF! hU]ŗXiɟ9 i:4'9Zfw4 _.9ĜR}L]DPV't2=L0VGW}ih1feEGm$<"?Nv+X+Y RA4 uÄ́˘lwNhp)Qi$agWl;#`Dct"{ʎtcYsQf"cbNГy|MYcEw|tv@J70kZ9+:Pf^?B`AdCNmpTP%ݻdDmw# 9Ih.ŝcWŏi Ș#KM4 eƻgYZ7zXZִF! M]ŗXi%;Z!nV#@]rNdpw((g|ׄ\G&׼UdF`yYaIQH/)V@̲; 4 1lD278KYj-3_}4A}0(ZKA]ҳ(h֜yT]8@.wW1Jr_&^vh퐢H#1r|eh[xh)ׂ+8C+lzi|ԽxfA' +_HKN&Ezﳣ=vqjnNkm[ֳ_eGLlI:UCNhdY[tv(0tf7&KƝ4yi2p' px3m> ϳs F$zĘ^ Ã4GjaDԲ9+NUxc<2E2day1$ܠOEhsR#Z|+q4J4CT7ڭlo%6h_Իw6 _6N#fPiqNWzeKׇ(y˧NI|}0ID" *sՉĽx4 @Ijwx7NBL: v d~ h@M 0 Z:rpXxD1,lxAQR Mn&5> @8Vv_2!BKx? )}ta&a^&;EgK%]{aܲ= zٚ3}ȉyo5Z'w%.&,숟6;'(DH':Q XW3oM 儣zH͸铌Ub ꚮ"#hΈbF^>`0X&eUTfe}P2ؗZOMntFHˊ]f##32 Sу؈W6s.~F|]}RsKqc١2QABO?* 6FQgYZ614c01df97242ad71ecfe14c9ca9c936bd2ee6771e8a5e75562653ea4f095e5003b29df3c0c7dcba 0fb448d882c07f151555c211f8dbf66617f895b5 7a194fd866dc34616b576869e5cbb0e42d8542a2   ZF-UNITY