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 r <$ ]]]ZF:threads=6elapsed=11.422cpu=36.376gc=1.896factor=3.187zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwTwh"-X'~fڨ-7%V ]ܤ饧}A~>2`L1GwCnrͰ: ችd.Eͩf;:B0xwz ֺ}L<]ұ<@V~GH8GYčBN~"tV]ZK _j5?M8bjGH}Wjf6yT6yM|>(3WL8vu`Ef+gqFdsܡ&947)Vip֤lRhG;d)f^j; 4ӉUwyݹˣǍ EB˔xrCk+-29@ o(=IP)wƇgYZ7zXZִF! C]ŗXiɟ 1FE`穵eRtΡB%oKc/`_8t/N "Gog#lxՏ{v7A O ԇs[7VIci#pHJ9/b;5h;@=ӄe~ǫo?P2&I_xnͿ^ IƝ`5lLh7D[D 19@| q?A2_ Z=\.IRpCEGapJjH=[1)v/NmD/R1⮧ĈH^ =ѩ袞 2[ǖ"xrQlQ#"GB (R) g-)3ᨁGyvp݉r hduWE=Odk_PoPS:@+i665"!|љfzbp7H!mz<86cA:6pR$+'%r+\%ؒ0՞ "eԝ^G3 5uNa1fݓW?)Y &λ5iC-Gs\EF gYZ7zXZִF! 8]ŗXi%9,{yNfuVHs CNhXzf_O'QT渞5R#ۋZdGxFUZ{BiByu`8ﺭ|n2҃J/ΰɽ_=Z#_: =<&w"#T7t1PNSm|zh͘7h[+p;ܿ^or oV+GA~`(5抠!\Ե")mOŻZ[`-S)&솣(*rW@hCs 2ЍQHc!βyJf'S4 /n'IbN"ї)朸R6*I. ACta[bU(#erO"\D JScye8{fS"Os{~rKųr9-]lSU>TJן4?"P@݁ W٘včͼN@5%073Џ5>ȌVU 9܏9)R{&NGoϽ7&Zw|rDE7++ h5odq/WvL#C&5OwjjSd܍{W7Ʉu(OHYe266fnX/v]*>U1ĤX)Ocy; !~ɉeUN xՄJTIan+ʛE5~ſ4H#HάaC۹"l&| =fm(%SQ?׶6h'/9W/h+c_P6/y:qC 3[h$KFy*N9Z@vjoHeE{hPpf#ӼͰ}FI!)il;P.נIS%cU 1Cty< ŤAעhBN],։q5NYqPNl\4a^7  f  q\ݱgYZd42769fea0331c6519f77c6e9876e4b0784b30fff6449ef5e9bc96dd5096a5a71dae4e1ccaaa800ebad8d3bd0cce8bc430412c373ab18b0b8e819fbc  ZF