SQLite format 3@ .;  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 . ll4 ] KD_Tree:threads=4elapsed=11.008cpu=39.176gc=0.956factor=3.567zXZִF! ]ŗXf[&LhM;xCB@(K6zF"\=^)(E._O7ѐz`_)7]PLߪs)1QK2ɹޚJ4s<u~LOwHq+{{EayIb|{=7RZ B)hv.l1sE*0KȩJ&u rBXh ~5B1:.[?tWrUOg |'nj V׶Z9"3;$Z0dڵ~+@. mHƘp]%=-h>`{| e䣿LZ6P>O*aRBɋ ldbqZ A.Mj-Y<9RѺQfo"\(s4+iPR`_KeQr;<@7\˪(W#"Kx}V!FzWnj]ʫYfr8 :0IoVTLl#eK:zXA%gwjoY^]%b$\eJI>?yr= Ŏ[~1TG ҲF fZ1gsgYZ7zXZִF! ]ŗXiɟ oɂ$:ey1S397̦@O~ T&?ɦMjky'O-:hY@sZ@߻'s$em5vl5D娛!R ߧ2Q\ &pXR]gUsfM7SMb`~" WQܱgYZ7zXZִF! S]ŗXi%L 0GKJD)2~nJb:y>ejG+:I[D=&TSmN2Dl;>z$! _l x/0Nx\ v2mrXr%AlnSF BqeLl r;)52/ m@x.^RJ稭x>:92` ȓ,5lI47J)J  Mѓ'| ~ Cctz_|z7jЭ *1{o)m#ENe:j3!HzXYHó= (Q>0x YH D` --ژOvQ ~SK$Ks 7`o^ UKr[ 0jV\%\&]I!j3!.)y 2]|/U QnU!q0؜Xǁcr(JZ,MZV 8 7TJK~C­[ P;a&#^kNjnƛwb |nHā |bL{]<]'e,k Mqa!%a o(ͽQ55h>Ko li )5ލƆ#7'IF}roG #3dpN^ )e݆M #DZ#6"6l: xZv &b'>7_&~ XDq E0 zZv*t8t1'h#TaX'[C(CA/R#9A@}?_B6й*pL{Ql*r|]ک2=K@EoGgw)}D1j^o au.Ѳ:l%(0v׻_ ;gYZde9fe4b700687367de47448e40f33a8984ce4dbad3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8   KD_Tree