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  v 4 S]Matrix:threads=2elapsed=47.314cpu=78.264gc=3.128factor=1.657zXZִF! &hQ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_+]gMpLQNY<ȼg_ ;Q|QJ|@kj;JKҎ*m"֢<9~^5|{WOfhWj1@zSBVL-Iɮӣ 2lȎd.2$Y/96MGDߘZƥ8S'3CZ=D0^P Lj!A̤B.? S 5g+堀_˂zif*kp™ߨA~(PNjʤrqf"^A#CtٍweP,ιFjINśѨ. <$i+4@3~/ѥ$LVgYZ7zXZִF! D ]ŗXi%6wG@GAIYa?Ys;-N[ a>%^7&~ g]'sKC5K-9`-|| gFWY!g,+EYA{ל3 cc]{}KlC uoRZ.CU7P9Q=BPs5R~)^ R5')H`wY$yt"d^ A1M+߹KbzfNݚ+;UVbVm5H Y  ?*8n<4GP=\H^H3anгVy4ɡq[툵]Y!> X @hꞔ'{En4gd2(,P5P\>&ڤw1FrIj@DtP)R^صqṃ_qZ<Õ#!jas[j^|x^'O&=3"Nc] y$L=įze8?sWs6QSk!QjCÒXpoVUcJ'aHf`w̵=ayD.rX5Ǜ2)1ﴺk&ZtEqLdV . >ed~M`DY';]hb CDk ׃߶ Yq#@Dܭ Q,QЧ=*/z-Z*"g;ch%$n”gZ Q ca<7`;XZr*=_ĸƠ/l '- I_f/~3e?QmK@~%rYvf+J; qI[2.o23)ʚ zYp NoAm/x8b7F| eCR1DAIHOI nQ ;q3/O'S,} gfcYLSn;/cr 9z.JyoH^ 1ݓ= e"$AL81+_|$L(YgÛ@^th[0|Elzz.x5@[װ̟:E83OlE?uKߒpf;ir{'6\#RwpóZh:^GjX3ɠ\@@dRSpm02S!?"QKMYdb!}APc1maKY^ ٘BKfo~I$"صn*ٹ1P~0L0k.p|l`+OGlyaL@,5&2jY%*",}pT2.Im8o+׮KU*?zÚPWB֨SLrMB&lY?|j "@&Eg% !v;kVs}_AʜF4@$p P&3T•S*^*#`U;"Ȧaa2 uw7Ay4O|Xlr؏(&Mu{?5)<>䫀5u^BZ`٦O Ƥck߳)F> SBiG4CDp7z0grJPh lS=k"C1~7/Xk\)媊(]:wv ] [?=;<^mNFWy .ӲuW8TW'=,,C\!R%9S1&F h8;:?y(O{