SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 y L ]/ FLP:threads=4elapsed=17.296cpu=47.348gc=1.604factor=2.747zXZִF! :]ŗXf[&l @7d|ĝ?PqF.`uU>l-ڻdM#ثZnXk^}[2.)B˹ap-2J tz gjItɣxL4oj MPޞ^ݺNB+Ƈbd\HIJyV/fGZ_ 2Ko,+R=7:c乍RʕRRi ɐ6A(d6SW Q}>79 =ɜHnt^K- ²IpWT4Ie t7`;t㋸K2XHcu:2{Al&X~I-fbEݥf[>{&e?Zj{m[));t-=ڴg'3CR1I|AzHiB[9 5-BnQΏxtZinhzI8י/7JVW \XsJe4\+WZq)3/ Y1`/E"F{ꑊY p@lp\|֞\)Al)'#ԡZGe99Մ7|nR5.qL9IHB3iqvԪQ^#_eއMZ^tz 8w23K8bړfgJ /QG[Ug#.{m~'Ywvj-k͉ur^oW"\/ҼHy޹^ρbS׀-LGeF DA |N8EKJD^ _Wq* h 3?n;z5>GH.7p`$n—. =UFd#,kq&_FM /61m? BKAޠ\/c'm!)*uƁ&տ/_&, Gϯ#m<k`irm 麫= 0C ;4Ur]7{Yku5P {!)$Vqn֝7حx}Hٌ2%1⥌Ì|ű]xE">K#vF6eDA;1EmH*uBgDv4 ]:XBڙQUl {*l*+~σ1(  q$d7L0F~4.e5pmt8JİWۇ \½vn|2?md c91Z)ѽX@Mo(['@981hzLpa .{o/ڷЫrC;VrN/rØ:>y,2>NsQm+ݴ;z㑵<c:X{+a>k6 2?{1-hbO[J}7?3|P8m[V m tґk|9`R="V0z:G3ɀ_0E"4ߗj9+]pE%Zw\e^gWt\Cb\yŨjYN:ķmA@xBC[s#VGCYzvERk| 0Yk~7?Ft^Krlʰ7C~_Ⱥ[.MEXb nw⺂R p(%;@%hIQ=GA$$O/*VpH>Ƽֿ͕5K&x݄w0n9rXBƾҺ<'~b1uN9CeEˁ?Ɇo9ɒd!sSkY`h$z/^[,*ъskXuOg+,dhn=@ v[:T9`E>kA rKP,L'|[V(!G@*T \Yh2 NB`p|a ofOClN{ɱgYZ5ff9dd62f3734e6c7c2ac3350f47c5c5d75697f61795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b  FLP