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 (3 $| ]/ Impossible_Geometry:threads=2elapsed=9.828cpu=15.492gc=0.392factor=1.587zXZִF! &L]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jh큽C^oF?hP#ޑC pzpf$+l#AvLq+]шcbHL'S>Rgel)c-5&Mϔ?UuwaEgX9 IVvj%澯XLϫx6&Dq!w& gYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6ɴ/dz|UQo ġ88iMJQ=:Bg\Uh}YZ7zXZִF! @]ŗXi%>g_44Wv)(W էm6ˁ纬|,N钅ydtH5@2lps<\ͬ +*MLꍶ?Ytlr`50&PDw3yPqʐAnf`^bjYt*k׭ s|ErJ]Q&S3`:²^R`u_c/ -Ćgh߇IrMcc=He$F d kO:";5Ȅ0}$EʠOdK7b.$)N%Uff1)!$ @PUK流;{WbT:-וZKRg֣ ՐBk/S;1't<$a. r'dB05*{L f+bqD?ml*9F>b<n9~SIzK~AHfu¶%\V)QMs`@mGeVR:ZZ96?)=+0_N&El&Ҧemau~z)F$3>dAg8xvnE种Bl,Qm"59nl}Q\`)qKsiO TK$έЈŊIE$ӽhprwX9հ䈱UwWݫΞ0\K%5!LJҒ0@6m-A)n0)ԉDQEKoX |9,v g.+ߝuӆ4An H')JH%Փ"| /ŢڪeƮ~^˘!QV+w h/+Aw(P`@\~VfROJ;SsL2vāVhgYZa4914a28a2ea7dbe29b3afba7ae6cd3ecd5ea59e767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 3 Impossible_Geometry