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 ww5 d4 ] Rank_Nullity_Theorem:threads=4elapsed=7.510cpu=14.552gc=0.600factor=1.947zXZִF! [*]ŗXf[&&SfL&Ei5ZݍJ.Kx` dj`rl^Ƙ D r8^mVVqV,N9P}`[]. zuƀ`Yڎ1$^/! 2 mo]5Gmu uAk80Xtc=0-?WavQ}P(a$e]Zfe'&t֜ )lsT>1Ac|o_6ʛz h,ARՁB*?dNm 1gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 (-dyT}GTXcOFz,yZQ3YjI~TS &]h5^>ďO9حj,6+'b 7"HӓOrtK9EGLԬ**jDDwꋏq*d aa '*9H1p}. Z$GR~$kx\]1H4`Ax[]^ܾ;5b(!D,F:L:<"sr#E*e|h3;~B 03,Ms UAF翢?o!MQ'|@RI˄SGk5r p,Q[\6X< _w-Nӝ&lfpQZ:j| vP#l)6=^,W;3dx",l^d<]ZGl-{o"IGӆlܸ79_?Jcvi)> Lwl/틏,KTF>})v۫nz,!l@*oƶMF6#r궖iXbYtJz.j2rBfܩo _U®֬Mmh'"e(hLt6ڭÄW!1@>av4Y͙ ح-iyb߫oS!ey"Ưov=dSɌ%zr7ڬBW )]בY_Ϭś4Wj=hOl:6c՘|Mz,-\"kp%D+- U4 YOHV&ņuLdj,Dzrܷg?,GJϲl48.