SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 j/ L< / Dict_Construction:threads=2elapsed=44.344cpu=59.824gc=3.984factor=1.357zXZִF! ]]ŗXf1-q恈͐7ӺVC.&@s5ή04Y9L]EZ "tyMxgchIjz=#lzeFm],JX%)f,/k F 9Q^)TXᨱv\/YƍYorDO`JVx4Z#"7_ cacmtM/ك̋ա6@񡒁v~|%riD>u:x[=Ne})iAt%xyӎBñCuޅ4(U[ / Dict_ConstructionA5B*d |.SGRIG!Jkf4HsO:୳1Ȇ 'hiPAqVC8 _ttrE\k)]}L_LXT/)p}r64*)t6!ה(&^"kI-,/1v~A:\ԍ2VEϮ(=L.^|uM"ŹM'=v=8G1k49hcI%!%gYZ7zXZִF! ' U]ŗXi%6il$6{V@I$O]:)Endqyѫd(L >&DacBa u{hRR *_S$2(tfh~6{Q N Pju@)}~߶g1t~MWܯvR\c-4ύ$\,R~[Z6֓٫DM;mߺW::CˊCyO $u M TJ 0|/~"Rx6 5ʋ8MBK'qm1rdoճbb"DsOh~ivgrpC;>>kz[桅7v=awyW6F䓴3Ԉxj6$>wPঋQ)*đ\zlJ-Lh}MS5J3at*"uRNJv?W&WRiBXBr$NbmḙCiF FR 5 6ByxΏ^6pbq\TMq,bb "pXIR>X0 Ң1 Bz[5zZRy*ڄ`?KGI6MI:f{>8:O*lPռe*}ŽX[ᥓ)Qȱ}9msߖrt3X]1?:h3bY>& chc꟣TY;PQa .wC~I%+fAz&`)I02s*XFe$9$IJr½&ߔ9|gbM_Ʈuh]X:|FŪLF.wz< q-K ~-npC LrApAr(㒱scT4.y9mߏ[R^ Hg6y{r6EE:XuXRn_І5m b%lmfVSi!F{ .BV2^zA߆# Bl @ ZdXPL#C^MonR H~Y6`/QR*RbǽTCV{Y1|S$k70%k~qpz"*2R+m*ۤЕd*F,Z̕1UtyE:LjlK(%q*_r W|-2} P{xxHMv樽' f6(!P6` `4'Yi]}o]?48۹>"Ղk/}ݫ7`Ӗ򊔈Wx5mpmʛGjR“^IhŬW]U ԛ%3nl3t'@M `$-R^`I!*j߶(:rbNXY/PW6lf%_. [ JݾA)4LTܯ۠lll'@ s>nWV9EM_&pѥ-J(l[S\E$h%E5bM$aD:qq*ks~-.