SQLite format 3@ . BBh77otableisabelle_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 1 L L ] HOL-Imperative_HOL:threads=6elapsed=43.515cpu=63.168gc=1.864factor=1.457zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}#9m$ɘjd4}1)g\(6 M؄"h{)^E`Ho, H:c!5@WwIxqJU~BmM.G|uŒ_U䜦";! 6N̾SOqM@CEij&C@22dIlpALa11 L`.^Pu*͟Gh.ƚiי64 1 HOL-Imperative_HOL~v"$-CMofӝh^{do\6\-UBK(Z}jf-$b?nH Z!5OGZ?aJUs֔#{QFx8̬J>!Y$z6&Kl^! };5l6:s5l^x jvZ8jZ?z[ſ*5aԁO2QWbBAbս/z-2`\bnDҾyOIf4 &eTAeڬ8Vߙgw&^aI l + n9)>[u/譎Lb% ^l ?4l {۔:h=;|.Auwb >bI_hōרZFk͹{~v[%W4<列Ewun9A#ѝP͒:xIx 9]&,f]-e7De3͝X'DE-( 0 d)w!ɁTYec%eF=IWhC'+(alcqHr ġ~r`e`eƕ) 9]Ml|ۣl%m\u2Gxp?X'f,PQM׍u [5+tΨ !Pgcӷ};Nmb!_͜ Ygg`=ζ5+XAQ"5Ǩ)wk\h^uDI3P,/'F _aĉݱgYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtd:nMrYKFtlנNܿVՐ20Ɩe`1l* 7q9UZfl.횢J.a=4Qbdon xJ[fL8c$[j[ ) J*DR&Ԝ~;9/0R WRaoC+( 3ۍ Kg*#lcV4-ɩWix Y.xo5dDHq2x_a8 -3Tr5 A˱gYZ7zXZִF! U]ŗXi%;ާ3wގLnjۀY9ESn)e_  HXw}nY{.{ؾK6{&fk0x,4|/s .,|Tҡbasz^X#LoJ 5/^1T?OѤ{gJ3h~Q7Wiy "5-&2 " ;5?$3gcorwp=84:Ɗv G;!Q_&9 dT1:ŒWraP0YU;i5 ZehSFNpӅx&X)P _06_BM5V =|R_4"BY ?>Pψ<tZE %ӻ 0 #%$$HAa928,Od)uHu벾7` HYk+ePIͪhw!y g $jIk0vDCS[-{B #,|e RI}5zeSspEܲ856H5%MPnWֱ0r o@PkjRa`p[.W(x2a[: aWRdf^ 2l4rN` !3i)UIiJ֏b6IUӍZS~\:aGC>CMJ9QXq %tQV_ts0Yq-&8(U#ϞpfvO#MLga i 1E`;LtsOipi `  ]s "55\-]IAx, GM\>|=ӗ_}#U5t{4??XyyjU"%gнrJHg3&Q,>5pPmK͚=PNDڱz6w>X_)mL[|Ѵi`cpMMG{MI'Dv`ʇK2Rp C7{͟=e1W9^Y㼦ףehH"uЯ=6SYyvkg-h:4a4=fJL+:[X>ybYvZXmh{K!ƞj,j3U+(W"a(ӨvvL@H3{iX5-A$!m8Hz੺<hLn+I=20د_ ]S 1,.u+<͵澱jHZ_OԵ#H T%tؗ2r5Ǭv_RKb@#VB+|CQJ"J= $.W qb lA tE5L}F~h[=NwsFB2DLw󃗫]L:b#ws`7ZC Yyiiv(0u4W)?Um9brS8W=~"Auity0+S%G*ަ_ _!݂IΘ. /QSJ!~@՟fNG=ڭdt@asP U PI.+vR2LjF_^!,$%4~ 34(:g>qrW'%R*wGnwz_ |_f%IZX%ashgĤoc4 ǖn =<7 sY5W9Z~4YD ?gku ;d~2{;)-^"$4{?#KbN+FgoDUI7I\Fsu&lp;uӉA^Sa&7>?ؕ-X|=!ޒKn.NK溞Z]!ĹBzqօr95A6n"~Ff?7\ؿt46^,nEs=\\`حLR·1|)֘^ gYZ934a4ed2d5648f93fc5dca67ec821e950864f0f3ed6caa966bb75077c120e012673453f69d500802 269c54a80d587c3b365ca98028240e5f8391db0a 777cf8dd54e76baf8f45a139697e479ae8b5c1b1