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 6 t | ]]]ZF:threads=6elapsed=12.730cpu=38.836gc=2.092factor=3.057zXZִF! M]ŗXf1-) enȈA XR„݂=zcmqz?9h3E݊ͦG{ߞ/1A3ɭ=G _è;/ ֥EqLBGh> |6 \gYZ7zXZִF! @]ŗXiɟ 1FE`穵׷N)b]8?3K~rScP4 EMF"7c $6,X\xvz*EZm{Hd@=hF D;8۩)2͑Kv^x*7_&AuQmW6 B]t6#kT/"dqy1SG㩆*Rhw&h"YFtH=RGm ,H A$g2~R"Rź*Zk\no&?#Ş}HݚncQLk&X"G5s_A8s;+LX1twT;5.`q]%M7+hm4 7-dɃ,18qҷt_ް[Dg3.T/̕:> rűK(l1%XcV&"4-x67ZG`c, k淋4)T׭n0\ɥ4 #臲/3n5oUbV Kxh4i#z M9Luu={&“sgYZ7zXZִF! =e]ŗXi%;R& ,]rڶy(FelC T/a J 4Z4[8zN3z1h {*lgCYB}Z$Y1@ʓ4 @s u| Y^$mm}}@TWr˹?@Lh/2MޯF k1Sh6R+fs/ߒE!H#/NC>a𑪥ӋO1ED!7\|γ;Ë$?G.u)[K;}}Mף 6"8`?,߲ P El-wtp;avu0 NW3@X/,NQh˭(ww͔;SVK=w`I )#J1񧧬AW#O9Q8NT{\&vY=uz]ia:DWS8ڄZ5fQ*j~Z.Nɔ ٢KԜC\9w75{@0?͕8j6e&?sk, ,}p>td_m\%=S=`$775S=ݍwEzEEO2 &"3k)8f]_TwYL,f2.lސE_d??, sXiZT9?JVwn S]|x#˦LodCP):_`+TPtzsq?`zjEJt}6:D;z:||Ԣ(ϣdHn~XDP9J an28vH%}{1B@΅#u90BcΎ8#s!Anw( Fv