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 K $l ]/ BNF_CC:threads=8elapsed=9.006cpu=42.695gc=3.147factor=4.747zXZִF! ]ŗXf1-q恈͐7ӺV .?2ZfZu'Q1wb^1䒜ʪ3b.5xjc.z0+Ҧ48"%<瘹?WemɌ |}il!ܬ(< a?OIr)Ók)_k&-NׅFp_jW؏ո`{GQNb" QkBeMXM8BjmH}4].U '_#o=-gYZ7zXZִF! G]ŗXiɟ1˦r90Fn0''ztZguT~lW 1t Yx"y^RRFNd1,ANLgoErbE #hT/r&ǹK"HAMgt_$дcҝ03j&!%^uhus %5į+!.\**L<']c$!:v363'a@-,D30;cp¤Oi/ ̺O pţb;c gO5MyTZK%cD\-vm|m^hE:誳%=)>m 3H!^0z"}16'K͜. TeԍS1?H<}~K˞ }A==Owf-,tZ)d4_e'h g|gYZ7zXZִF! F]ŗXi%>t{G'C|(ʗj"c PMM3S}5AM\[j !LvuCUlCXKּm Gp,pځ@p릇 b /eRT1lףSY} S xǦgyfU 4% \O6\ߊ+ m/$zZ/Yvb,q,3uh; \)';K0dLSF "59Fqf#V7Lk/\5fw5r8$-xwꦣ8RLK|ߪj)^޹Ƭ?HҾHUv92 \̹$&y/&(g魭<2NLJ 𧝮TSŸl23K48 6sVe iD7]K}V%qusf.5*HeiB?EZP~39$*ʪ.A ٍ<~$$&`oݬ<F8GI;uHA-fh$-ӔNd'Ft_m}IzAcbU躊WfL+Oₒ/8&ti:3 +&JevO\&"&ƽ2j]XKðߎ0=`hA~^Rb¼&E