SQLite format 3@ . BBh77otableisabelle_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  j j1|4 ] Minkowskis_Theorem:threads=2elapsed=2.040cpu=3.448gc=0.108factor=1.697zXZִF! x]ŗXf1-/6vR[ m#PQ/^8'a{eYOzg9~qy}kz?cM κJ޼p}[4q>W9YC@֨HօűgYZ7zXZִF! YG]ŗXiɟ"uZH^bF/ $8NܓNNuc9-e8*O>*$w|D5#cZ5}YZ7zXZִF! _]ŗXi%;wwXtEхyU3$iZ*U MUY|x w>sH:?$F^^"wyݷ"xN\?cyom6_/J8'|hVr@*ĭ>V@2azaw@tw^".xrp &t_i\x[C܍u>'h5fѾ #e6juP#85T bybaEO!:Ȥk;Yad l(-Էy/mR2͗nрw?R%8SbQ%'*JEw0K]ίlsIpFq@twD"b$p ,3Yk Bl {9WfDb*Dr ( AԣôWv.O[Ȅy~% .3:gYZaa9e7b5e665e402f07bca46be40ff45c037173c779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 27380dc72e623c038461b5a833200b5803ef071c 1 Minkowskis_Theorem