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  h h= , ] Tail_Recursive_Functions:threads=2elapsed=4.732cpu=8.088gc=0.488factor=1.717zXZִF! ;]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 Wџ^ |$Z 3bդܗ6혎% k]tT?37ǭKLGT;}nqon% 9n\XT&6\4 |pƈ?DG]٩KqHd8vҶU!(haN׋ x6 u\},7OydDy2 )K8/@ ! I\/fGgYZ7zXZִF! ]ŗXiɟMy rr+E6IIkhzB&Qa2yb IxlO_suBAʹ%K z R'N  .G$8{P}>~̫|W.gYZ7zXZִF! &M]ŗXi%;3qit԰`ořJJ^~ +ϽMj$dݘXzR@^ë^qovcB|evb $kJzX 0eC:F ܕQC4;8fH" a[[*McMR/Goiq(H[R CWm [腩ZriO2q :|YT$oSu&/wt>:>Y,I ax& OG7q7YqO%~@_{ވ};hxnLRC>; NgTMo`i/f7tFcUo[>NnRopsU'JOB+]#t;Wngq'≤G4GZ (}D;XlRFAǙ-$3+͇N98y㾸|aU6 6+WS Ey5ˤʱiHq1!Q\?a},*T}G!>8_m8U#O[-RC~ӥ22ljm# GM[MU˗ 3 :@cṩ #TE,u< 9d/bW>ay+o+DDIԆ4 ؠ(<2ߥjE<Cãbd<@:p"+Ȕp&,Yo$`욒1] `P8,ELyͱgYZdf3b0d32a98165039a936ff20ff27105884e865f665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 = Tail_Recursive_Functions