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  l,L ] KD_Tree:threads=4elapsed=13.714cpu=43.060gc=0.908factor=3.147zXZִF! ]ŗXf[& صfYÙ +7JD9*rgaѡ+ˈM־C9KjYW;M2u}z%@ec@C`1BKmTs:lw3wU 0hzk6dIZ=沧xAtI;:f_Xi' U2fh绖}~w0bU]w6lan$֜~|]q|]ZtNiETz-e@Ec&^[cb~lJ#7ʟ{EG}1^zZ!nrU{V7?cYs(&ɫ D{z<~eJ8I-RiTF=߭H)ZI}o&}zka73,px -\3^8n0 /kW9IkgYZ7zXZִF! a]ŗXi%GVS8ՃWYACij BqYl`9ؖh4rRoyέN3+8uΛِu·M6uu)% e*i _#W~1l Ka'R܎;G},Z(/3NnP/]m{8qeՒHL$͝+":#䍡{;ky @C`5ɴL/"5sXۯ;Ucscғ[v'0X mTK`ȫEL®̥$c9{z3v UO|xAd`"9o5 o`ɑri'81rv&CÝ R#ǚR6psfi0V6Bh5;I|`ȥՀ߾>Ok$_U0wբf=c63E~T+BV6r^陫fTB4m|U8Ȗ")PKs&:=)8O!죔& RDZYgl(b֜i>ފ16 */1᭷LG:o48td9a"$2 h¿&Zq Kc>tW(l"a>v+ 7`dNYˮs-{:ym;i{1B_.Mo7#&|wS2r=/.o51J.;Uq6⇔m'Zup||[ߌ"} O#ȚC#ևY7z.C(Qx)~d=!X6"i .<5FI堤p|3i ߖa{Th+$X _=M(Rd源 JeZ9MWd[Mk@/[~A#=u=f)#IrRu@qgg7 IVQ5Ͳ{r'݉8w0Ay=TЃD#"!Mʿ?)`$Bz[3m𐼡o23bUzpŎoq! aj$$n֙&͎ Bҏ~o ׭×b?[ѦcQEVFiVIhNܐp<2֦:ԡZV|a@Iv|{ܤqoԤ7}O,]&y29v3X=(22?DZ౦gunLd3q@TkDZY ~X=4}n=d`:iZH։^kQnZ=ZUqB<(oF`W0+̲8j q{fj MSlkg_[=f@1^IU2#OVg?MLr$i֨]ݕ Hj:3 7}3BT-+#.x iv/)=ۃ^̕ZzO^u W!bTH>Mۨ2m noZ7Az^Waף LMжy S4O8hLpn^١#Ug9 |nCߨnp_~7 '!]vqCj<;5Zp{GAJF!?l*) yUHnH FX{gYZd6d9f70763d748d1bea4d6a7d91553e2e462a6724b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 54f4459cafa084602993a4bffa09391ed659dbed   KD_Tree