SQLite format 3@ .;  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 : |d$ ]]]ZF:threads=6elapsed=12.179cpu=45.684gc=2.472factor=3.757zXZִF! u]ŗXf1-) enȈA XR„O'R1)CY!Su׾*u^fF9 *6d~iAГM}n0_g0){u< `n{y "tC ?%f_b#X1ŸlE،KRU?V~5Z7>+fM(|G--ʳA2rg/ LFK.]_ &zeʖ՛xJG /Q=j~b ;a卒 0w%51S/ˎჼ|gBɹIa5Ck>))뗶c>g\?Tc6nSU MuE%_ϱdG_$!V$Z陵(c4.G6gKf0ĕ]yמbRǃe9兼Q#GQДדK>a ;w)y>٩,dvim/5}Qs^gYZ7zXZִF! ,]ŗXiɟ 1FE`空c(Nh2w4<6OMȄPH* qHdkv831kb=0@%(tp"?啈m%x&)'}r&3Us?(ff;o8"`?Wɾuk"@c| a} Xb$z(cp "5U-0mˋmҨF9>n cw~Pj68r8Q[D/O кfN% "|J5>ይθ Q>mvJؒ1l-e[s"]7lh^Z ^60e=߫~iaX$!B*FegA]c>&7Ǔ2;tKV)IqInS|TgeJt@-|4VTKш*$! ?!Qkؗn8kBavs8$WYU?=rqaO?+1QFtѦN쇽 ATX3(&OLc'0 ;G;D-1浲RKϯpWOѝ@[jL1ϴP̼M" {A{Wl%ӈY܂KYpi3==8 ,mv+ꃦ"e<^#RO4dAE'"F-SH1CѡmXUyucVc3\(( jG EUb8wRm7_E^ '&.s_ZJT #[i'fDpՑtf?v8|,~.>>ϯ*٣A\ K!(C)O/Rnh>&t Z˻l; .aK FvϿlY-=iYp͜Nܷ\}8?&/3EdpK:&rғQIEi]d&Mn|Wʞ5~?fIfUb*m\W@ HLYҼY?a A@=qf0l`Yode{2*R.3XLe vIV13\SdSyrDU%