SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  b!| < ]/ List-Index:threads=4elapsed=1.714cpu=5.856gc=0.108factor=3.427zXZִF! ]ŗXf[&!9sA~2jP;QJfCp+~JmUͻeqV}2mNc6 ISC&CcWm,s-d'u Q]6px_:7 ^||GQ 9t:2d״Ia_:^Zd{/erh gYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵FRoV C}U,UW+־ǃU_J>\}YZ7zXZִF! d]ŗXi%G̉TB@jd{}~rϷU!x%X3&ٵ۝2 p1"`wū&O]QrǏ7IBa46%Ɇ uүR' j:{HdwM{h/L] un)!$2%gVux (NEcƙF_ׄ,}zF65jCW j]=©3k;} ?O*3,@N0D _ެEltʼnpxghr ]x.ul奸Qtޭehu`ͦE {ã iUoͳWbd*1Z.Qww\@Q< "fFѿf~wW"Y/_!tTHP ,l^x쒔Tu|uz1~(|9)* \m<>d>I>$+,rU+3aXK V۴%/LF';?Duhxhx4td=7aH,Ce3pˠt4D~=,>F} YLr2TUL{5K ~F( 5LS<#-AF//WϰX~&ש _qx/"{vvfkRZ!౦8ӂw=.<AN?gYZ568ce2e718580ba07725d3224922e3c31a5259a378a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59  ! List-Index