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 ST ] BDD:threads=2elapsed=73.928cpu=131.160gc=2.656factor=1.777zXZִF! ?]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>ɗbo - yDP(#M-.<<}5Ys?0c(ӋmBj↵7n$vdw  C 0oOp]䓸@9P.FM,ڻDme0q1˗ XΚ%VFB]T貌D!2<%^Oz~֩qBrz0t]_HDXq NnaUTkNFy]O@V&38wGhY 2ay2׉0E?^nxã6ǘ3 zpi&f q O~ࠒy&{Sg)x8;VC*Ō|< GJt{nth} zq"F20&Cʹ|#(#w3&9fK1ZE7hNpR 8m0ŘMf$ tU[c0JPaZwZ_RzzH j/it#whhO„['zYwdW&ةBcplyAe@#\;Hk|f~W r=Eu[3p5^3`\Bmsw`p_N(Q! } ~T_-ߠ[p92^:~fPc};""V ; .an/o\JxKҵl|l`гa5,9 ?͔g0&BKl#MLL0w߸n&i2B,VM'OdIeC꺳a)صa*j>xy 7yw+&@uBY| MqELn!~xחhK|wmUdkdW"w=i 꼱\&χ?& *)3X_h $ 4AqP6H ťgYZ7zXZִF! u]ŗXiɟיvL6 SczP6hIHC5s4Af91|Hjm%+Pd R *H/1Ė \YMa_=[C\Pzrt XQ !C3  ClPO]p-K-gO )'Jwz$Fnw9A  BDDzV?{nժpF;Qz69u!=IM3E97nu48@hsHN8#8D @j2Z(Ti&'w7hcQ_T4]m=)HBČ߇CiW<Ť%O|*>75L(nyrg". Dt3 [wk|8)'QG}ݱFɎܷ׳h:$Âd*ͭU'T>8T¹EOd2kMus &cJtK.ֲ]xJ,◮؜]} T/>2<IZ\iZl]a73lBQUV AK<2?g3->_ ^ Fޚ Xߊkw5bp6+Evdx''W6Qu~m8{`wݺWa\Ɠ8;`D9cG4:f+~E Z +>OGVakVc!Ԅgą~P&[Y{Q(Da!ƻ1G~ލ \({}颭C3Tv6ԿnGĶEUtxxA)[94e$2ifBO%anjmd4!=ӄTqW:k->d+z7I52$؎~WJdUfᥩ~7Nh%):9C!PjcCS)QumT-9OɃcT>-sx#Ob,q l*''| %G$7C#YY 5F\T7 &$1i`/E0E&1xEb$# JqSZ=Og~k9-z.rUp玹"x QI=()Yv~Ղutv0z oF#ي_qDz&Y})SKS˙ڪ`]Pq!ղvP];JS_ansYou+.7hؽѭy<}rAR}ì RKX͞B[r.bN 0'd83=m@y-<(X w CVcEp=w酭TG4\Ryr ()]tf鲁A hI%~pc Dmw W~\ڍur^zHbT˫)SB z7U}88 i={= NK-m<>o1EA 0cq}?%ЖKi 3^OlyQW/Huq'CNֳ=Q-g44 *юqb3QqD(jBL)Tϛ2 .<..zy4#".ȡ.WGg<<{ڄ3Dj`MЉD`/-𕸾oBthBtiۊ/b7>M8Z