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 &+ \$ ]]Sqrt_Babylonian:threads=4elapsed=11.312cpu=28.472gc=0.496factor=2.527zXZִF! #]ŗXf[&RA=# RA8 ~m>.iwzSp da שcUF~= z18- ‚aRѐM>3-e"(N[ (<*G?h>S3I(jޏ mfaYQ2֏{}ı2*` OY0`qK}TmYs5+!##oM:mGNITgYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(X~_B*V9N)ᇮf[?jE~ Bnr7F'3֙Sh{7R]Bzӣx'{dmbhYgYZ7zXZִF! S~]ŗXi%I oPA\.E|2OFxf/bbe?v~8_4*hƼt"ظoo`fRK@x(xWSNS솈uΚPW3}wMfQʏFKauGhS gB"U Jܢ#/ r|;\v! QgY)z+jT$KOYз"y 6ۮgWs(́0 INuPʕDd3-=-E|@/i~E6+XPd1X UFtJjqekX3êI?(wg=mj?gc\SQ.?cr2d7j*}P2w)1ASGw8vfGOAumm$7^6,IMD&E"O"J+ >nJoFxҲ&-fu*H`E '%3N53f8ѯ|u#Dv!}M%puTS3]C>0lX }u唾f+Mw's,6(Wdƫ ),gD fŲs ØA&uL7m4{N 1d`ÑV첖@c $ Կ~\ ]Ꞔ9\pYN (ﰁjAs8&v[9\]gp[Dk0$eIy .A;%9ܸ_M̹ |歂ڄjL\,fF%ILUAK*֎! 8e_;9Pꒅ]1w} 0^LFNk@Z[#1[{ũQXX$.znj0gmms=́W;Q ط2^gH'd{)wfxfW %w„7Svx&V 쐫i8iNa? 1#+;T5p4*u^G$a2Pf~|$0^idKw~)"o9ՠ^ /gYZ1834499901eeced186849650f9fbad37637ae8855a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 218c40f8db18b56e77a680bb68919395633b467999a314283612593702889832ba344149c18c657d + Sqrt_Babylonian