SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 gg% DL ]/ FOL_Harrison:threads=2elapsed=11.558cpu=18.716gc=0.608factor=1.627zXZִF! Y]ŗXf1-/6vRZZj0Iq*~jzB{j>;<( l vPq^ . cIwDDÌ/Wtc;ͩe u,t+qkLL>g,"/,[w@ɻͪቛQ#ϥ:`DaR.]DEx,6Sd= C D"'P})^ GF]I`|%@(~Y0?r^rt鍃(ZN Y²w}9 A L3t8gAG)ok-J!OdҚ*"@bt 8dgYZ7zXZִF! NE]ŗXiɟRxCpp'v_e{Xe՜P9ր|G/bVY=aO̳}YZ7zXZִF! H]]ŗXi%>gYpUbG{0OqY_bCԯHܨ2U2)3g<={xq{ ij9f{7DAc"IGI+ jc f=nz>=îG -h#%*f6G?g͢z6& } F)d}ߗi2 * D}-j%%DIxpWq{zAqۀZtJ.k1lTҀsȟO3RFgyRza/L+6Nޫ(oG@QA|˲Y K1[J doqpx47NYSO.e>Q n,ۏ#[+aCyϡ7 GOauvLn5[, ߽f@2|l𑥀XK _4gs[J$A{ATQvrmy @gTEFyM> ,m'sٹua}r6߇3\vRec W9{oMY^G^(v@s sUĺx۷l6_ 8uG؞-i+umž Qq4%~xҕqfZu7gYZ1c89f647a059d3e5ea7a08f98e9335f36cb20461a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 % FOL_Harrison