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 ]]Sqrt_Babylonian:threads=4elapsed=13.146cpu=33.104gc=0.640factor=2.527zXZִF! 9]ŗXf[&RA=# RA8 ~m>.iwzSp da שcUF~ýXZQui40zZ/x;JO9R!tnrxl^܆ZalƅR)=!`Y]d8?˴ܼ %lS" 6>GN)m^@ؒmlgY,i[2-'noyu #e^M}X骆rVƴSpU8gUwgJYwz\]$'[wi=8m^v+Yw'j"&(|4G#x2 i\|' 4j^ЌӉh)b> ?Yz?tx;o+"Vd8e{ 4P xƕ8cyǩZA"Ꝭ5_ ҉BaY,&{{@6f(竘Bu.Ub@LZBo̓bʥ uka__ ^N\(8%ÖPgShH"@K\߄pa9,!rX᭤'y]}_',ת@煹擶C5P;Ajj):y=B%$a-tM/ ?>IOH,2:R[D6U"ۣ^k~]tYÌ%DN1;~}H~&(5G.C7W]33ZT2 Z%:*50koȦЇ9muebXEKP=m2Jy ኞBS1|x 1k})Z5a =réTŴo*?|>|68.6*aTߺ:d~\C6~zNIH[z7Jn}\]B՘ lΚwm, BrO ?Bڴ4"b"PYsoQ凮O̵%hS1%7zI_ `xb0 ~gYZ69f73800adfb0131f20e79b627679cb4fc2d10fe4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 874bd0c8a7649c2e1f400afba941bdbecfc90c648ca84b69a9dfdd16e7246bb74c01e2d66ca622e1 + Sqrt_Babylonian