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  (#t ] HOL-TLA-Inc:threads=2elapsed=2.093cpu=3.684gc=0.140factor=1.767zXZִF! s]ŗXf1-q恈&h⎾kH=Ӥ–lP&ޜN,&/G.OTrV/;#nLPC&# M|,nFSgYZ7zXZִF! C::name=HOL-TLA-Inc.Incelapsed=0.722cpu=1.112gc=0.0008?B\D"9G}YZ7zXZִF! ]ŗXi%;PZvIlXtgĞ^l@83ȉ2IxWx5L*XE#J`w,ϚX2 :o!/A͔j=l˧n,$*~ GwR0``v+fnW/34܇-"{E!TT#"7ZTPS: TzX^9# F;(4Av`IWq)fa%pkl":[z0))f8;߸(sPcV6l=>EBis!Jpa'oʅ`RRv9EF]Icm5Oݘ@j\~ӞN'Ixْ_O/N! ~eQM!H7QGFQka9Hf.yLFic'̿kxRG\eӱgYZ6665299978df7d0350d2c46e90dc02030af394cb4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 8df55c697be7334755fa6f7d653ff1b3ba8d9e42 # HOL-TLA-Inc