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 ||! Tl ]S Skip_Lists:threads=4elapsed=9.063cpu=32.196gc=0.468factor=3.557zXZִF! p]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 1$bG )yQhoW9&O>BX}HjF^Rr~1%|{*b'eg\:ƺ6⥂e+us s;}]y+ѝwV$J:k^Djl9#4= Zsô *¿j[9n(x]yK{P }Ei 7+zvM5p1c97-ԏK6.1ڋKk{%*Pvx;1'/)Ii nn[6yI=QT 8mH."4gYZ7zXZִF! {]ŗXiɟ^(Q8vRQ ףHC`FrqB4x!4E`3J~Rda6Gs[K&%{-2$)o:LB8bȩ?tQ#&fQVQ7YqQH\26.Ww-NgYZ7zXZִF! Kpp]ŗXi%L x#XG`V; TP'%5.Ҋ(UQxxVcFK8״P3sG5 w GBbwTƊ}[<+u~ĠݥFu;ZHnα_cOwv62ΫVuXb;iRn 'k w6󢨨r<=*Zᧄ\)沮9ĵTw-^$ѭ0,B){2 `?б=Ȭ){* Ke2WP C"7_ư2׹ b=17Hzb3 ?r{v*T=a:5siOhq^A.7)F=}k"x;u*`dc 0+x1xi>\n+S~x N@PcU$X,>NBbdrg'-2ɳ_BzEqM.5X+Qb?_-6 2<{yȺ9Y櫨_RR:8P1Q)53ARĂ6K=t0q0ӎ]0Jޭ3dO[צ_E`L˲=zk^^lwk+JjwA6:Oz &j9ST6!G.?:OkMCq¸و9M2 l%uyJ6K&ZD:~O]d,R"Wf E$WMB-'2AG$:Nߏ,CYҠLʛp6R! qFf]%s2J{C"4ww9)Ů8wWzՍ8Ye A? Ib@n'20֒;6rP )4ZUօ2Z Ah=NbV{h O{&]udT(\PjLQ?aY$&g2]uHɡۥI¨CL!Gk 'jp)׬'@.4 Z^f3f_͈//֒>_SΆ:  AVtEdC5 ` c^ח7;)!X1[WvgzT$wYG=j4C3v[ے=HRE%6bh]dnZڠx*ŝϐv~ō\(s9fOԝ|[vsŠfYd&Tç 5SK2:{}qw