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 3 T ]/ Impossible_Geometry:threads=4elapsed=7.545cpu=17.888gc=0.476factor=2.377zXZִF! b]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶~gM\_5XPY q/?Yy2824+K\{f لq Bd` <y-+SdD+`>*ޖz܃,~CG¤ ̤\7d i[Wmgh*Obk}P@3Е Y`C 8w*d]یA5jo S5ژbA OHa'oAUڅ(z4RΔkw'pXPgYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6 t ~N1rh eMDr7۶sg\Uh}YZ7zXZִF! ?]ŗXi%GcŗDu^Q s 5| ~I6l|mV$NF/hRt$R.>wz;dU۬KuD3Pt*lԀ|4?z lPk:{iPB:_G>blc$ۃV2K T)zd O4!`Z<4'h7q&?n[ˬ xdŹH/9$41is-&[Bg% - ;L}I4 7gԧK hCZ&F :\jPi|pg9Zpa]f:,%Tw8IZY1Gn0r7✈XH hټTBY=cFoLfbu?鐊!s6{,FrSW8Er(^ ׋:vjT-b,)iJu׬b(# i4F^ ˬ~0XRAl'~VIH] F xVM 0~h]YƽLf[nuxsLEȋ3٩;5Fg^<:@33駭59J!o!]1tKH'y[Qᠦ `|p9,`$B-U8mHeخәNK.ȹ-nebKu4KڰkΆ'oNEa̅+qٹ"](yo,آʴ4US:tm:T" Gެ$H*:?lCL XNp BL}`B IYY=boǵio,w7ff 1 oؕer gZ4N{N\28,?\cCBn֧C#JJڑXֲJffhlKz1$]A7jU!Z5U9):{Ba щgYZfd90a51cca31d40b9fc912f00a1f9a0a69c9f17c1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 3 Impossible_Geometry