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 /% t ]Regular-Sets:threads=2elapsed=50.380cpu=84.736gc=3.600factor=1.687zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'`TAXw~ZI|\Ώvo_d'X؎cwV7N=`0ƫߔv 1ibb, `xL!t ?9 6i1}6D9,!/w'l1yD{C=v6 f*>40$]f2Wu".wDq _۰_)HM8fvS!3¡U1V]vާ%]";rlWv- Ct* % Regular-Sets1N%MifXIE@.r< Rڙy@/@@<>bv6yǶ UPdC$O \'@,Bew(6)8_%,q g0[L]a{WXSsv@5LA((rgFxK^t-_`gYZ7zXZִF! >]ŗXi%6S#YT?ۿ#Ax.*HX^m .#d۩%M,ѣ*xܴ㿌p4) z86pԇ,^31wypn>h;l{S^MnKy|*}cFĊ^vïD p-EIޛ$``\)^XvHN)/ocL̟-Q"l+'JH?ȡ6otUGxÞ_${%l]ׯC3fh鴃VI,s ?N䪩Y`xˠڶZe?(3ذQXni= *m;Kq%޸ Q񩶴6=qE1R{|A4u3!osul9,h@^B~+L=]E[`[bD3tCȗ|.Ǫ{X {f ɚHb^{X;[ӑuJt@0$4náL:$xd tRwΧ2LzNeJմVXAm C6+ƋɴQڜf܇8auPPZVx ED}LPN>n춳Lkt!?(8 Q~*,NeogN-[RIX3C .=0͐rV=]Tn#1I;gJ]$壞#5XմhB}2l* ́ J9,@?h0çY$=&,lG ܲæ]y-WݣY.䵀9-C6e!+eŘ.d&)VNfw %\H$7ՁFzZZ'"00jM-^dq5ws'^yTXb1[(&o|FR` +fL}zja1'?i!&}G.$5_O.L{Ϭ˒pCħYf"sI}vRHQ+]-#$<{VPD8ZѦBD8oޏ]"'t:$H8G-InVX+t[/ $:e<~`GQժkaCL^,SC^…Z44)z; Fs -:5Q\ `9QMƹ~,Hߘ 1К=8EeAm-5/tZ^taS͢He xTE0mXfo{gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 90fc8715f2dcd7cb5d12051633b389153ad73166 978f4c9854098616b38bd0614a930e76821c454b ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e38505e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2b3b66761d31c91be288cf2748ca24d7da85d425e