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  m| ]w Lorenz_C1:threads=2elapsed=0.790cpu=1.396gc=0.000factor=1.777zXZִF! ]ŗXf1-/6vR[$ l0Ie1 ڔ8e N |gq WͱЗ,Ĺ·v 'z༫7at_8B-WQaRP 3XPV,1+ʱgYZ7zXZִF! G=]ŗXiɟǕ,,1q~Ԉ@m4~:q S 2~*nTd$ML YH3}YZ7zXZִF! w]ŗXi%;C=ܩ&1l=$JP`g3R 0`PԊ"jcDƒUa%@@Կ@);%OD5"uiu1W#lkwFۅȕ1J%` bY~ד^!^D.{a%.\i/Y#p_`1{PW$ ) ڇ0 7_'&'Mc!T}1kwm=ʅPLes8CDB(C#/:''io$_=E0i^ 3j&Wتi^)[[Np$,ύ4ou|̪Qk͋ ݱgYZbc80dd1c3fa69d28092bfd1406c296bedfa5d1b5a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 49bf364dbcfd4109ee4c62b4d330b85418134505 f8153e7806ed81ebdc6db4b6e448f2127f750ec9 5a42660ab1635450917973bcc560b69e006a5960   Lorenz_C1