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 mm3 d ]/ Impossible_Geometry:threads=4elapsed=7.448cpu=16.696gc=0.468factor=2.247zXZִF! >]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶25D\-ƷRX|~ԈnaL^YB,PKPH~pX8U1N)l+c&ɦ2:usJ'aO1_SxaDÚ~ JΊDI\J INjAHY] UCݘ%GR|+SΪ '"Bk)rĈ %L\r#r91E"~pcIvxXMX"NK$)hgYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6]`YG/ OןMlA J 9 09g\Uh}YZ7zXZִF! <j]ŗXi%I o9ۋؒ.(cFuw:ql[֨sW&>}FfHWňgޯ :*+akon"w .F9RC_K)fT@\ RfGd|}F 3EUkFހOA|kJ1㒾Zf7t&gY|1 S2~ߡB+TtC" )1,V *8^)͐ ;M p,%uС&V!=yBu)_1QP$λ"?,/hs=+Υs;'Q T=^12)<.-Pi\u oQvX`xm\L:oÙHTP]I55N}4ywR/[ ::f8zyΠ\:96Y&3YS Ha?ػ75ya'0u l(bNFIΐA)Ej3"-ݙ>0`6ܙ⑉eZ-pyl!/Q14:Tf!g麵KdԄ߁3S MQ.0> c^<:Pa 'wKLYؓ,c