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   s TT ? Separata:threads=2elapsed=14.257cpu=27.220gc=0.740factor=1.917zXZִF! 5]a]ŗXf1-q恈NucvAݪ4 c?[2C IfW6{Ydٵ;S߽ya3Qr.{:_GZrG1K y|Q섡L/.3YsxMu9<@#bZ HiOIP( Xf(R(ZC]3 c ^)y9T̥ t=0ㅢ5 _s9#W9f"u:Fjo ưޟUP"ǫa '$`C@*4V Wt-ǿ,eP$Mj<L`hNYХ8^(qVU%ɥ$WnQfɺN(/,7Am|KwV4Pl+Cg|zC]5Xz݁ j /@ܝr|ࡦ  і;́7Pu`?J,GUwӇt4bx9dM)T>i=2}PhHyW QV$}"QCPLvY.l6 JJAw/,Q\\Vɏ fj4d4!7`ڠ ">VRǫ^H<*noMCqnZMW}K-*η4}$hO8ѱ2J'3=S8Jݧz?yު',3])E b3V*uiݻIWsv? :د&S cX>̔ej< jg~zG14%fz[Bݙ eqQ/F_?Bt R rcmRK)(G풊,SYP{1Oݤa&S@3_Ly9#<pÛZӏT"#?4WEjٱgYZ7zXZִF! K.]ŗXi%gt r8RKP/J >X?Ȑ>10q5<G_PebLj{\+W~Xf/*[lQ_(_1'J?( VNB ( JJ^,(G-{܋,H>BX'ۭw8cyZMۍ'0$)ai|$cE I x<3S1{M:eWy5C̶r ZִYq}fMJx PwT.4:Iq!Xwrev] d T_,o)uLqiܜY4J&/]c̳֘ :~}6,yѼNm12,=(q O37*K(=3̆M@5[/jaxjj `h2S:IgF]Iq C# څ? ,!r'ҐRl1V85p$lH˄$Q:o8NA+1 H'$#`#=VBZD =A.b|q^vK;t3k1MXr8y*,:̌$i( 1.GLSKnG}.?J ( ws"ECEk(tX0"%_FZW ÚK>)!^fIC9C!I ڍoVQLa"NxC/VBIgS\%CEWR]'Ua4.t*=Lpxy6[ 5(<BKMQ<aS@Vj80(x5zΛ/DQ