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  : :C1| ] Minkowskis_Theorem:threads=2elapsed=1.946cpu=3.536gc=0.100factor=1.827zXZִF! ]ŗXf1-/6vR[ m#PQ/^8'a{eYOzg9~qy}kz?cx(˭ښ;yANW X݈PVbx]ØY% gC75gYZ7zXZִF! YG]ŗXiɟ"uZH^bF/ $8NܓNNuc9OiGxTB:h*20cZ5}YZ7zXZִF! A8]ŗXi%;+Yw gn֮GW:Rﶨ>h OjٗGn_y.FKT qPѵ)xVO,GSmIky[&0;ljc~=x w怕9`;u\ 5L3L<6g?56C0eV+ u.12A MuJ! zfCn 1nSZc%2fh֨˄W~)}~{P{xv ,2s^ \)9% :X|YBM^o 㑈>L18@]^Y_ MD-'BmՐk H1 hkm\Box&15~F4Bq~v=!9MFCs܊ GrC7q#H ۴Y=j^f߲L1@<,ÿJjW/(tP`rhS87+<ݠ v˿C*fJcV涓9M:m4G\@gYZ08207f5ad571d61809ae246a78f9b36148605356d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad c8ba0b3713415680c885b286092222ad46904d4e 1 Minkowskis_Theorem