SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 G1 l\4 ]/ Tree_Decomposition:threads=2elapsed=7.862cpu=12.696gc=0.428factor=1.617zXZִF! .]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXQÅmö!qn ]IWj\$3/̃oFؕpRƉ/#cĒCD|m`+f30%'tLI0Ayܮ5bC0 6U} ~ R]8y+ |%k]`fU/wL׎;?w:`["Lm5'HR{|MUE)/Vu/h8gYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S3HbRc&)yk*`r 2_G)NF3F $E_f0}?#RCh!fx }p*a379y6\A$3R@}@2dgYZ7zXZִF! 9]ŗXi%>gga ,~qrObA5le.;iRV$lB-|>v <(g\rSRsbZpcpvÚ,8ٜ._4uAd*M I,99i 0udBYV~ToRwn[*޺ 3OA{f_=nŠޯ8zxyB>A)B4 l3{MWdo[X!ktV*gCKP\ưrNI\ݥn'~W/N0#[znxX^fIY[qJP} U7n=Kj܋c,inƃ X eFJ-$ضѿ51ʻd`=Ll J%@d5/ߥ`S"L6KLh/x޹'},h|ԚtMwsXM|v0fR<}r[#6vpG\2ѧJ|#ÃX}Ͳu67{˧DaBvn[t 1tdu9zBJv\Ugwq8i'{dy^0N5346 6jHd676u6یmqUõ rQ"[׼X;*YAt83M <_7=M"6!u55ŦGHnf,̄Mv5"'/?nG[9>#ɿwG]GlN+D-!$0|[DSB[BgpO}poQ Cvh#)Iԫn<1xEM:s'"gYZ11e9abe7a3eee38a30895afd0c13ca28ca00a32e97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 1 Tree_Decomposition