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 QQ,+ TdL ]w Randomised_BSTs:threads=4elapsed=8.547cpu=30.116gc=0.704factor=3.527zXZִF! z"]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 1QƓ>ɫ6,k_2>fڲ#⁘Ue,r78ƟO? 3$>g׃bU&1@5h(:t"F 0LX(Ty@I^?kQWU0X(ڨgYZ7zXZִF! B]ŗXi%L 0L~'j?૥l=8 C#Z7{G;>Juk >S 䣚::nKJxwFl?i7bvx|W+u]kB*I{;)ds]N͚(]ĪY sh7hOX(=<^#gR+_b 2Xdy[Pk.t*kbICWQYnFSkFzfGL[t ]*;Yg䙇f`Q|]ԣ>0[&Hdu ek(Xxq)2@lDBQ ?=&?ij<%2).uIJlIҐNoi{eVoNArZ3R~&3hJV]O)_B6-8<[ߩOԬ@mkR(VNc"fgшgUPDg! \\r%Zι+E@qbaFl 1OIS:r'p1,6FڟS5!@؆O@z#2oP=' "yA"=ATnESתG3  䄠9RQR3lp{r x#41Nj`HZ*PE-D<Ň]K|yr:DQ+VVBbC\!tѤͬ 9nBU\.&Frggo.L#J]r-b=糈$L\0n&cvLdfl_⬒1dwڛS1u7Uʊh.PO 8"/ύk#.*XL8m +kŽcn]ldt[k`!-r}9T9(lKP[kx7 `ZV S" d= &2,woˣ^ ls1qhYu\=T)6*XC 1/cGKHn,lHnx M 5.'roeP mõʊ nCgYZ12c6378085f524b6679254bcbac6f4e51c812908d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8 c64e28adece30d425954200e9f2c1278da50acc4 04e6daf54b9ad74db630da87db78c89c6bed3d93 93284140f40eb8325ab33189c11c3010083e5d7c + Randomised_BSTs