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 o 4L ] ZF-UNITY:threads=2elapsed=17.247cpu=31.044gc=1.184factor=1.807zXZִF! B]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb*z6(<ځ23m/89[q QwAl bLƸ 1fytjlťBCUk Rf܈l/\IVL^(?[#H}F2b/'4ۑ$(,l,a050SGycV&KAIikkZneHJ#/\aN^{z3 y.(O'v@CT`dF`t!]˂c%u)ڼ (au%KN{9xjƢ5+8lVhoN ]Ҙ*B\{1!:qf0u- wgImp"]%{)Tg(o>dL o2f:)&d;4ڐxLsb]JQ(Jr`@A1te[8>Vр ^4z c)e8gL`*7SB9NLO?7A pj7j_,[Vj[ ;Gco9n$F^i&.a}e?Wy (T2gYZ7zXZִF! hT]ŗXiɟ9 i:4'9Zfw4 _.9@X[J|zS0mdL=H%ie+~D"0ewGp%n7*-HX`2E1Δ} V4@A#H쯍#[~ڹ+a f:SIƶ5RIݾD$.) >,{1!4 tVnzLYq]kN}y<@'@Yf`y&]‏U>8L1'ˬv_b5*ƃ#؎ԑv[_1qï /)?1 J\;SۿDZ"K`7a;q  gYZ7zXZִF! R"]ŗXi%>gP^30/9^|0{=&JZߴa7gd=sdj#5R%EgMTF7J.Cv7exEggd`P]ӬNeJfB.vfdo$6.R*[?T3nα#{rYSvRO ,j,J*,MNt?P++Tw@N@v 8ZcGnyi~0#yvoYgLoJTvMeekR0;pQHݾ݊=r~_Z5Ip1LA(͔G*6C*3ߍՀ SyDrajwwXBfԣ89,<P]ˉO>ۣ r±6=XA]O^ĖvnPP:! sO;G}jJau ?he^sİ\h}c 6}إB!A\}Ԓw5 .,\7ײdpnlK-b sTHTJdXc)w WvA'! \ۅS]اՃy +OuzƇ1ܗ~`SǙ|{?C+sUӾghю%"`MQ8g^v\oE@/kAp?YE.cٯ#'4 Q [Wku=)6TZG1dKF/p RɌp(^>TFjs~|(ݳ1cgMQ9a4C:HEu_  6]7'-(@R)0U3囄gI6NE`^N_7#Bpf(s ygYZ94c29652ccc92de86b404bea6076e3f408d4ac3c82ea62db878002abe1f561b243b2cfa9fc698016 1e7bb8d896755bbb779450a1105f0ed37cd956d6 dfe56f3619ac6c91064f610c81197f0e41720d5a   ZF-UNITY