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 p LLt ] Bernoulli:threads=4elapsed=10.180cpu=27.276gc=0.724factor=2.687zXZִF! &`]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z_7eeĀLe]x҂'. wDoLb 4ÍNp)\9fH_ѥ.u.ӧר4 N^(7o[YV pylh /"gZ35SДX5DahoK Qlg\//" QO0f;_X27~f/;&,]q4*G[7ѮW}:czp:T-~MYOjۿ)rUD:_gYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLѺP 躨~< |j2h4qSF[HqSa?,~Ss}yy?{o鳈k3#~&17YCD8!cUq&|B`Oy8F`})gYZ7zXZִF! P]ŗXi%Eb⬞@f=/iEs'}k$C~g ߜrfR-Y))wt2arWbųP\H&?P.@M}\]B}u >㾑^EUVF>r]- 2[pjH;~L;5&ۡ0(C a䄀Ce'b`C-lsIC3Ұʬ{?DNw5ʌɳ(TFRs8+TkmoՉTt]d To9IC-T و}f3PpĘ'7"؍}ۆ_v-"J]1v7r_>*%Âu.5n*23fFXUQ/0OڞFcVkN6h_7F@0edy}27k♵o1_r]dž@u nDžk![G`, 9GN}G1P ƔdL҈ *Lv%{IUϢև4׹橖^Ԧc.,` [dAsDj ^$`e<Ӣ#tY^; 354gl8Y&j(voc۲'5>vVZJ |:[L"j9*GPx 8K3_czj5 uxca~~L>`nMn}J{~a&`="Tb9\lS6Arb Aޏꏏ;4eιvT U M5̺i0C\Y,q#\{AoJ"z6!zSXJjn0=-eXTc&Ĭ%}Da2XYL_Y;<%ɟ]~.t:~2dvBQ~>ҳRIVW .K·H8*=;$e?)1+p1EygZw_NK$ [g^wԇ޳ ȡY(kgYZ8bbbfcceb7a7dc31c52b9fa9d46cf0f891c970b387d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c   Bernoulli