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  @5\$l ]/ Free-Boolean-Algebra:threads=2elapsed=1.033cpu=1.736gc=0.000factor=1.687zXZִF! xf]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^Rw!Յɘv$2/)8lmin>yzgYZ7zXZִF! ]N]ŗXiɟ%384V-;8{Hj^JG3}YZ7zXZִF! ]ŗXi%93Mxf:a~N;vzٟ]~wGՓ~Oaw^vE'so0%茯V۲^K(x&.W4)gKhQs 9Jji^DIBڴ6~о,ZIYY vٽX%58?`aCF/T08%'\ 7Z8RW`t\<8L"g$^ZX{>72R6Z7^n*nzKjXWL%״GwBS^#q^㳻d.f\' LLp!U@=@ ^K6X\W\T!{ ޙɗӆAlOJ8y;-KUD!LX{$)Ib\:y_;,A4Fl-ڂ]-qD޵&W9F}kIFǞi~ )ƺgYZ9fc5be425a9e1e131645b0fca9a8ead4023cfc9da86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5 Free-Boolean-Algebra