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 h , ]S Pell:threads=4elapsed=12.732cpu=43.420gc=0.548factor=3.417zXZִF! ]ŗXf[&.y꿊x\?ՁFM8j7t*bj2IxIg"Xy8衟`ܒzzޗA_kÃ~ N/:K?jv8/Rl<ِ.MuA|9H&_e,k֌`dUXb ֳlYoGgYZ7zXZִF! #]ŗXiɟ}]B)Z7|; j1*y?Z $ =^,*^Vf tCCSsd3Z.PQvSMh`">pT8vpu[EPzgrs0P7e`,Q@64MTK\Lh -fÑb~,\ F1] }dy>1+3j7Q'D(gx0bP~wlJJ;F3Z9C:i!Z%jc!XKC2DZsU11!c5)7D@7h z @ݳ9gML34k,u֚*,#Wŵ\N\P&-рGZο)э6KnY˿M/b/~0W֥M-z8S6Uֿ @ZHfL\ .MHti4Lm+S. o؉7ÿ}yV-%̂R!9ծ2ўYcKbE._)/66UFqp\UK;;`ßuD $nGOm\t6,Fټ\!oe5b,pVQVtF+kSŕPG[+`< :W_J&_̼'mD-^xȎ$b>`A ql0t=D!i+G$RdGߩoE^v6of},d}>M%% 2Kp1]8Vw\! RDe 7VY5Ie/6D5`Z(b'8)}4,b9Noc>[yua=3U;2DjSYtϚۯ? ]qr |Ϊ,An='Yei7|oL:Rs0-"Ʉ3t[(,. ~;A`%Sq+"~⚀9-2hjw G& [ϾhIb+/4%n,?,O%o+&>{ |(4bdTp͠5(Q3 >깔Jծrz# Ya慎%z K0nz:\rysd4S@I$%]H?QZN-*_>} @@,x')RdgT.>XE7F?[vom>n(}u^w#C+nra) soBrma9<{¶ď2X]咠Wj{eW\,Be 2,Nȶ23W?"_ghǹlSQɇfw!XI٬<>JTF_ucJ3MHCfHE.R*RU_Ʌ)Y&mQ)^8*+gw^k-; %H \ytP2>jMڌ4oR|?Nk@ve%_ Y;Wwi;u<:nO=#oD 9gYZfd86289c45ebc9e76271c7205f5ff3d267779dbc1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be f492cb8444ec798d386f376215f7b1d35a403d0c  Pell