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 aa3 d$ ]/ Impossible_Geometry:threads=4elapsed=6.986cpu=15.668gc=0.420factor=2.247zXZִF! *]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶&Pker zk!)h fC;& !Lqk8.|uCQ<|*BMЙƯ*!2ԝ2 e9˥mfn6m6kh˂N )Ԇ77C'X,}ώCz^[I܉LK.oIL>1S TZvnFa٤Qz7«ɔ-!f %nދgYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6a,ꯋ͎Y K[["[߸eY B[ -Vey}H`" )HlO ?{Xڤ:Ž} uо+k\1W&e$$T'WqD[ Ii&$|*TBOQV] ik1BvƬ%M~^q=Akgv % K` &uJzM  mm+7>cUuo۲˟ |h,A d)/QIݱl:VB hrVho 1!.L[<)eĥCO/n}A9j3x&]b4h=}Rrv%P 3WT%/B^O[- r-!8tɋPʎ?%p/YgG)^A7[pl֑c1XR&s7d$iRUwb5FS TfG-%MsriPBZV -c A g8loS963K6/k 37û-9Qnn^oHBXU|8;X Ä`8߸v,i!}3(]6#-{% tR@WeH`^fvYZ>;Ï9AsV4db2[̶Aਲ਼ ʚ.5E. u %U -E9nb*FGu`2vy*gV*ia x}v΂*ha #v~ MlE<]j}.J;P&ԛg3$5B!_ %SF笰 :-*B@~.َ;ؔ%">R,)F ef+<$ωQk<ùE @)uRU9" zcY``*~xN/Q9 SFBNb'F`<sSq7)[Oxg?7zWG!6kKzk/nu yKugYZbdbdf56eb0734beed62c6e9ced1d97441dde7ce178a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 3 Impossible_Geometry