SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 c $D ]/]HOLCF:threads=6elapsed=11.771cpu=37.572gc=1.916factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@09qO! Ps9@PY q/V~8 x5w`v7qdn8Q\1Άtմ7pz8L6 }DXfm쭯t#5UP-nGn0O#hg76}| x;% Ѡ7t(nq|lxG]'c[u3OZr$lu%Y.83{aԸ:bX6ns+]%F,w *5q~];>wȾC@o }C&xP6NC6$(PGZzv-$U!AVz s SiڪxD|QUV ~˙Gai og '73fm"rfa-LӀypN9 t AvFu.RP0a衰بjGGu(1mgYZ7zXZִF! Y]ŗXiɟ>Ӈɇ9S2][.?Q2>l9qjYM{:?u{˖ӤXk;KY3]mgA]\.3 NDOݹpº8#&{2wl翢oKf,tvN]nLq D]^ȡ,ۈ}>qçL<ؽ,嬸n(  M>Њqh7tηCt0ݲӴ qwH^[B{AM` 5qEAPڮjм Q]蔣ת Jdv7O8DY%9>t&BPRZ#8UtJ}.zp4g8m[hvEl`T% ЎM.?2;gYZ7zXZִF! C]ŗXi%EXGW.uI$:UyY=)Os( 7f"?_q_6p `੭ ^A9x}6dItV ׊ʫTwH}5C0NT`feSV䋠._R5Gt @ACѕE2hV\t6Ew )f> $l޴G.(C $VwJ:̡5O{O P7>Da-1]>-Qv<(g6xw!1c#;~yʐ_&*% ~9guxmHoF6>t3}ŀlIɝ`BH}6NF('[b^NjSt xHGdom( }W"S6\CyI`4kD