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  F F71d ] Minkowskis_Theorem:threads=2elapsed=1.954cpu=3.468gc=0.068factor=1.777zXZִF! ]ŗXf1-/6vR[ m#PQ/^8'a{eYOzg9~qy}kz?cUN޶Fbr 9u̬> "L$ #:Bpbmm C`$ _DձgYZ7zXZִF! YF]ŗXiɟ"uZH^bF/ $8NܓNNuc9#uIt"/VbZ}YZ7zXZִF! ,]ŗXi%92Ap Bw0j  [`5G5YA˘mz' Sx'o 3}䣦sZK'„q7u=G}h~ f|S(ϬYԽ4)O!e;0E/kNLAL&[DwO$6DѠg ;(Dȩq~I0H&OΦJ|țƛtsDGZa:%h-,o}s ZU@Y*? AqGf`WR8joq.)oG]O?UP앸#7Hz|Øﮮs ܮLEDW_;L}j^3YZz۠tceEbB.@,QQ:| (KS (!F*j3~cUhr\',1&5+.q`,AjSg4"@a fY{+ A0cwsoFǵ`ЃXdo\|f9Zt33:\gYZdbef318789ed8e50b975a827614dbc4b805044ddf4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 a643a21d33ebcea1725873278009917e0a504d89 1 Minkowskis_Theorem