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 ]] ) Dl ]/ BNF_Operations:threads=2elapsed=20.875cpu=41.116gc=9.328factor=1.977zXZִF! ]ŗXf1-/6vRZjȀGL|Vdw6s1K(C>D9XaXG;k5 NsB~ͪsؖ .iUѾ@-Ӓ 2uN$W뷙2Z3KM$3!fP`AF0M*8Ѱf%;S, U$’ds&&?\7etybDžuǡ,H& OJ1NhC^pː5$۹5]01 SWL#OzC^߱v7q1b_)cyeW7ӟGy:)#}f0B?ƾs?ƈ{Kq RI(nIGlKs!:n e$(Mb㏠K $`S+;gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~Z aR])|FhᎢ\5ÂN\l *hR#yt>qQdԎlrlHVZ[;Y*GݶXy!g$|n^b6zf5Qca ,_iϞϛ\qZڧڗ!wqp ߴ=!уagYZ7zXZִF! m|]ŗXi%;Ca//.[^8_k5Rc3$|b(='4r'eYZo!xRfx f?nk#L## %2@8cL`/1,-h #a3f@/mYb(pSwjA!U$ =.uywO|> r|T,Cؽ}lz[f&+Fӳ\tIӢ*GCja,Q1ԃTk}8jZůifvŅ3Z &Wg͎Cs_)q7|9hOѢwb2+'!ԅc>_L0Xa%e@FS–xZT2,93}fiGDYJY#Ob LSWC}7y]ΝNٸ4Z#,JbAeш5'JJTӻ-,6CbNg@n iYG &53ny17j dHL%+k۽H._-⏝4 76M);ʅVq0\B @*KhxU$V) xopcP)+l,} Pj Ѿ<hXp"gS;Rʌsl\duaWc[J>C;{J3>rgUcFD]caW1ӗ>-咉$0aV^Ru"4Ay>oGыeų@qlmg6GnR ]:![b͗ Al}pa7w~L@ΤU6dĎͨfI6ϗcz%Bjs丰e.O_Cu=͕9fO ;1d3lT D ;M 3&q^H lVdߤ7kR/D,H^4w$]37NifZ&JkeCr* @٨˴۬z$GUC!UTBf{ Hr圽Dh'2` %T AgYZ5d26d281e3b9f306b79c5a1126ad9a9b293812a3a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 ) BNF_Operations