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  _ _' \d ]%]Sepref_Prereq:threads=2elapsed=56.485cpu=71.616gc=3.908factor=1.277zXZִF! 9v]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU![Ys ?!4| M&xj)1*1]P4CwI>~"ꆺ3\Sbg8c9|Q}>%g0!kIiNAe%:V^Y=>Roi\Ab hlꮄM[9>40Ǿ5!hIJAw /̅\^QQJ$ *NnԔTw9Ts*|BפDV0Ԟϴ\|Yv\e7sԌVS+tͬT ,è*Da<z-w2\q5.%r! fAy) 6`D+^/{tu~~(`Fpm90!}7A2B+Z72 +J1C@'Fni^xx8޵t&ݫh?4h5ͥPmɴ_b8Ëv3rJ6g9{0`ccU&jI}ž~܉!ǵk-/PPpnq}Fq~o鈐ڼJ"I(sFApxVwu~`1l=㭟_](ʅ*Ωoj5j ]FI^8BVSG '"{GuYKt̸/d.>Ur#Wgb~`Yk+Z皨 ܯGU :c&~ 8R6Ͼ`zit\WQA6D4 `^9SKOˆt6sgoݮ7Ʉg nW.pQ`m\p]vIz$ޑ20~>ҿC@Xu}Ty~ TϯRFWqBR me8ɼn^_-?Ǯ4mqdt=z^Ip"æ˭..届댷*" Ň( _BY>4tQ{qV.?CYDHF[\CgYZ7zXZִF!  j]ŗXi%6SqAnԊQ#^8KY#> EҽЃRvsLg֗g65>Í@?.sH!ʰg h$RBxc/*+?Q[/ F?%*'R4#/{> DH9r{agW̳+( u+ [~~/84 >Fw:kdbr@JK *zʩݬaיo.ia"ѬsCD46ZYrFUlqB=e,~-8og0HjU`iٔ*W) &#C | 9:DƨBeyMlД{@D8Կ4ni'7T.ddFgr'\;tV'U@잦*U(/ 9J1{86g)%]dۨF a$i5C&-Lo*iLO#Ym8# ^z2QŴP+qB{p{Yq }2Ef7*iSiA^W<}P P:A11P&--ܪ@+I˩WB e MlBnP5}9{)GlsTT)-"MDD1ڽ&ilMptu f %j:!KgL}=.}"c3vu)\V.耀BuQw*B+g⥇yKŐ e,,>SXd4R"4ÝeCVs`%'\⅃WĄ/vـC},܃7m(b)B>ͺz:SOKf|RZ{.Z ,*.]+Ae<\Y8RZEpjvBj:](gkM*T@|2qkSbFGcqW>^2{LǷqIxpϨoˡY}7΍TJwuȢp%Yl#֦wuB_4aaH57?7Wn3)rn6UfzNj0+==lFUa$P-cgS@%Z 'Ey$[+99ja=RAkd1fno9KH椢"kTıtV4qD<s-%ߩ^nEx+ϪQxްsra(܁{Oߛ=P98BѫD'!uX3d1+O35hs2I\6ǯK!Kg2~vdBiv?,'8Cs;NFLje.zN' &buĘČ5670+nD[(_HLΜAmYC< J8g+p`1\_14!T$ z΄$H8VuJZC'&_r21)ڸlR910 b`@l\ÄqzL#<4hHW:\Uip̒C~1~_"`7u|h08"LTGT|whWXEʠ^Zq]iuR΍)̖u6\6і)y:Aw]'E%|grmU\7YR;98MVȼOIEvXڿ2Cn{7E``*d.. S=XӫM ̿?",p86`˔@7Z l]"ddN}URKaUBjL'vnr;}mųǕ:%k@8Ī\|V@. ,P`mΥlijzt\˨SLX ~\"TEs}C"xDnlw6|gYZ9e5e5667dde2d99163d54fe8bdf5e94c3592dcb1e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc b00b45bface8c46666322ce9522226a84ec0f994 92092b131460f121d014585d3e816916b430a7fc 1b52f4e2f382f09fae9aaf736ecc920c05c2e6b9800f074cb2fd239bedb91660832bea795e2bc3e9