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 ii3 t ]/ Impossible_Geometry:threads=4elapsed=6.567cpu=14.744gc=0.256factor=2.257zXZִF! -3]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶FUdo$͝!;Br?s<5@c(=9/ytmu\Yvm6c#uU\sޕ݄vE|huNtQz;P uɕ@:ڄvXМTA(E3}vTAM ڨi̘$.g*M@r^=@g.B#l}~+"*:,:;oGFNgYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6BJv:Sg5 ؎<Wg\Uh}YZ7zXZִF! 9|]ŗXi%B8_vnv{ 5'JHf x8CKh"bjիvN vޚהbLDŀ\ϯiV;jkDn}YQӒKw¢_gTHmڵ{mCGAϳ&pzdt18dGQҒ2 t񙨓l;іŰn;M`T.}N#B2s^`h8I'ڿOiuw&~eL1^V ǚ=} vDc耼9}#<߭}BGGrX%IZF,O}tunb4:Nok4Vr8KLa m"!禐B^LmˤW:$c9f7$h̞~(-tWއrm.o>cD-"lKLs=;xR fH{wmD\=j3 CQos' CFgp萄|ϐT7K\#Z4W tˠ>6uiVϓcb%q0}z>l o3篗qKHћ2 )M"P7I@ iBzVt "+p i~At(;+=d߈N_32~;U;؂0cW'nId.pB$}4.|36M /.{ Pn_R5Y[LfSޝ#,rD׽%YM80dg2Za<*<8; BznWμEa .kaKGeB+QNSCzay`l#Lnv<}^̲@FzC&XA= is'~01/+h}gRZoN k4VNAQӮutQ8(CK&Uvֲ1gu;l7g.X9C# s:gYZ2b0a92872921e74e672c99cc456e140817e6a9fdddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 3 Impossible_Geometry