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 oo1 l ]c]Linear_Recurrences:threads=8elapsed=10.478cpu=31.898gc=1.174factor=3.047zXZִF!  n]ŗXf[&!9Lw|umK/1 )n IK6ջU|q D. 8/̃C㯄",FnzV*BeBhfL 'cx_{r$" ǼQz-7|*8y3d┍ML m\ f%`&>TEņۥOc"R玣`Rt1?$`'AE<vpwaDEZdJMlL] %}`}} :U a wY܁mx$zJ89U'/z&92<+ao<5%qc) G s楕qad;)sá3fHл`'>$bO8C@BŢ]팭SpBZ{ZCorƲtX %XnQ>~G%mByȜB4E{lvoX -#rG_mTdU1/y&q &'FNHC4ĒS]Խy.7>È&/+= x^RppHA^HN$'C\gYZ7zXZִF!  ;]ŗXiɟYW׿5-3x^jxͼʳ`O.ca\l^) 2WpYe=wVQbGg8!_6 ǿ5lT ETrINfVu@0Œ TYoMK$Iv*|\HMs=3t>XH5# y$~fLoayڹTz#GOALN,@[=jJCZDj LBcɋ9c'VЌ7?"g ;;gYZ7zXZִF! I;]ŗXi%>ty0`C[.Q m $`Αʜ_U19u%>ڢ ,|*Ͱr4f.*2G^+Ca38azdH/OI&V-wSt5U0Qʜ!>E-识@X{'"E~_ZOu6N30"q:bŏ+NJzv?VwAiH