SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 M% 4tt ]% Stern_Brocot:threads=2elapsed=39.521cpu=59.812gc=3.992factor=1.517zXZִF! p]ŗXf1-q恈͐7ӺV 1̙ GMjiYEh&!9 d ߻}oA)*Z6M<"3R"$$~z S}?^>![쐰+8R dlsx "TU:v;jbxj,ф8@B6Ab o@?_ym  :>7G 2MX͓XW3_0EÝ N Dc_GM< _"أHCo41_*> 9]b4oׄ*1Y%fZh@@`6'WQ殴%s9c S (AHzo=p͋VeצBz 22l4 7SNqDBU\YQR! 9 =1tƎu= ~;V|1iݶSYDĹ! GgYZ7zXZִF! ]ŗXiɟ1˦rG1)IuuW5t /OG$No`@TH+ Q2-:ingAYi\HW o,0@|fw2p㷷Ҩa?}.)j~o}8J^r@3UR79  vW鮱gYZ7zXZִF! q]ŗXi%;N( '#N>|r!i"/^JM:7&}O_iF!^+}&;`F(r# BMꭜ/n cަ2jB(γ3mlG ;k& 4“]ӑ5ˣԗ>2wCtSlqfqxyb ԣC&~?ƮDd <"7b3ћ'_\qW6%lu@ޑ OU@eذg7$u :74oHhŭ)-JѱCjYbE)m۶N/ic@.1$ QrWݙG$6!(9#}kC_I%n[\3-WkJЍutYӻBJ`ʠkGKP5"ő) t }>iZHj〛ķOe%5YEjYywLPSh:Ә6四5j#>LeJ-zWܽ}R2mf%x8 ha2D^6BGeJh <ȷ%>0"~jwG+"`˧cMPBU?Jճ<ϕTO20s}=U-)O(7HaTPhEk>Ҟ؆Sfc'e8m6[r6S#z%~uvWYO8˜͏ }Ϳfk Ykk^j 1]C%tׅ߳祆&zocxu9GvF[$.i3%NÀ^g:7i$46N_wC,/ːŦh;-0.I*6*Aw= ˊPa46>&C9cqNmt GRTD;x tp] ȝ1IW5z(XkOM_{,๷]SzFPہ?s[(ʰxC_.Ůt_[_*'nc5y}eHRɚsb`sKc(Eo+tkD,А.,s#QZ|wl䱎si) Vpn%G\\)#UޠKl ml՚_gn3YΕ8O{QjG>.%vXLێgHA=Ñ! [ܔ3F򕤘`Qǭ92Z&tn)SۼNܒYb4H@2\.9EliLCcBv%^ ; {6o۬yW.J3j%V՜y}q _Ac dwNaZ.cf*{3">W(ׂJ9 ~yXR86~qdP#q??&}ؚP\ coLdvAË>~#eCWYӉn}' aIkOAHd~y'4|Po3 u^S$a؏?Y5}zP{&(o|\Il^JK;;2fA'{Jr dNhez2{)S[%4Ľ ,ƳM Nͺ Ђ-ٚ!H*[_KPe -+%61 ?B8rd1^]"SW.C{"!H?'[ /5 Q.ͲR?[Mh避G\HhQ}-G sُ#ܱgYZc3e0aeb5e17e95c7aeb2e2e99d49b2744be5d9e3665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232 4c8f4dd29d74e345c9ce38dcd94396a1191662d2 9642f4731d3bdf0001efcc7080aa858640f687e0 % Stern_Brocot