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  %D\ ] Pairing_Heap:threads=2elapsed=4.009cpu=7.924gc=0.484factor=1.987zXZִF! ]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<_ tϹ;}{$BK 25Ybm$0@k(%M+\GjK2fi:cN3Bae@RanAUjm]qy~`,b?IvW~G^'%]D\1@&a8)hNH 70~m2s}>.V6Ϻ- WgYZ7zXZִF! Q]ŗXiɟ1]" M${np^PS|! '}ț!:+ 5y=s(NG3qx# H,tu_A j gUb`;}UQ@w n8NJրs0 H{#vgYZ7zXZִF! !]ŗXi%;+V&JtZ"#B{SZ|}f3ЊzG;2\y&Fա[7nB{GDLb Mg0__Jâ[wy۩ny& ]J@L#)Lktv;:bb,J`li)KM JZZװS+{ʳ}<46ZzP ~W#] %d6eV t5yu*AX&$[ȠJ57}yT*xi^KlVz\sS:qX$sPOD:5K1djE6:bfK,5?Z*F#4j,mz"r#󜊸9|z!El$s+xp\])?S>݁v@j~ m%gv[Ofs0v`-/7C!ӀpBc'kN<(Drf6[> ރk*LJz]\