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 DD9' L  ConcurrentIMP:threads=2elapsed=22.927cpu=39.824gc=2.292factor=1.747zXZִF!  `]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GcVI0|G8F}= $v Z8Ak+?/G-g\ﮂX$Fj->"~W,xx1#x4m7 .AP;_UֽXq_ 6c45cW'ǵVJ6Xd~mHO/ ^\qxu Čg ltblO7v) ] j5֪ʄ&4C[jMKƓ78N6ft~'ih= ~>9p$ A|Q*o6]Jp i,?/R9pf{ sj;?GPYC3tWxlά e:d9'*!K :VI[{VLT%mfOXcw-A|(&myb#{D?sXV?bCF98AhC;0<Tr.Ox@b'jy85EV$Y)pcWPme.S(TűgYZ7zXZִF! p=]ŗXi%6y4;?ew\$B4泐=쥞x5t#j7Qnn NwVe42b@<_f*P5S+m pL z~]5AG $7wu^ԡ8:do Lr=e޺Xډp/|NaNrȋo* x0Mī':)2=it8\zsr #g nV<=dK+X{T G\,dyn*-J$ſDg0sN<;T2dG]7j5) |x뫛}A !E*&@ʁu p@^.N4]c+Ŝ kЬl-{[s!$r޺ꜭg%}漹J½lRƀFoz khO2=Kڔup|K7uZip`g!7M\h~P1LU_Ɋ!$<MìA Vp^9GĤ~tl:OR6Y f\C)<[RHކqK+98O6LmϜAzȢ}Wӗh=[G?2:&tITB%šQtWf=$7~pl7W`h9v \X=Ux`3lG qcC9vY%O$M*}C2P ];ӲlQKv&sK8Zp'-Lg eG `K4q\r;3v (υ7*qm<9U^Y/)LOj߶ eZeBVGf͜zl7LzUi D 1od'rzJZ$C?2$oXuX=LYnZ:pQʚ4Q:|>K ui/>,=m.F庙~yY `&YlfkN8^Q6нE?[`ڍJ9Klu_6mnJXO`6 o"B#ķkB-mbYC*SH1{Zy^\~MRҚ6K%閛7 h~9|5u1dp.PG2=zt: )j4Ly tW^y\cŽ~#uWd)0U&õ& G]J TV gYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a ' ConcurrentIMP