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 i ,L S Show:threads=2elapsed=12.850cpu=24.244gc=1.244factor=1.897zXZִF! N]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFFG܍ j$:>/{f۶DPˋ$ @אeSa`uO.Uco̓2WKh+1ZqgiJ}XWZ)8X\%e/I!y7 =$%:bl3+8aD@p fA W0-ăsŰL ñf `ckK, Ă<'Z/L Q&Y78KZq_7Di#s}6k1鰒vqTy-KN<#r[w[Y]̤p ?.ۿp^*_LހRS&oIZ RݷpI"ՄDy.&痈0dr.mL\╧8V?)ѴPI6ZHYu4ȕnl4Hn;slrCSlxs1KSnQ/DxIj+T1jE[f1VL-lt,+= dTjA"رgYZ7zXZִF! H_]ŗXi%XY:  *e׭X6Ou5 v ^rC|bk-&lƱHʹ1Xp3EI kSU9_;-BGnptRhGe6ۺWظ<݅QuzXH'vސ3Ë(r#.ҽ.#US=r3 LAK*^s@֫*"\W )weTSg `0G/w)=0:Qj;QmhIM]MJ p2e.11A/Y#n,dEJb~Ve9E`Z˘F>|H-fȠ`'^؉}t[4!t0W ԝfy{xcHQڏ  9QadE_@蚱J/n,i!l ʼdA2);V%Md*!(o&/a掀")<6Y>ԀuX{ߐҦy0!j6 Fo5jDFgssfZqJIy :0ye:Ox7-6YGztaJT[DLe!`:ia~F` p#YRGӠ7`73_X"wS3W$!+)0igRr1Db P.H<>}dYF&!d^CudJY /. z(VOopTˡxbEaFe`^~Stݢ;zR12'agoO<}FjdDNDv*2\!}`ėU~`';5j`;_Md ]P_ȴ8Eg ]Bk7E8(ps_DcPXhnO)hP0C=yx7`_Kf6i+>!\'Am&ÿ`Zϱ;os ,h' vK*L-W>J9 h2DVNxD2<"J~&v%UԸ^>U(<&&N@Ev»l!ARkdqĻ@= 8oȢNȑSCڱgYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fc735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 86f4b2c178c2b33ba5cdd911b1342c8143021ced  Show