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 M)< %/ ClockSynchInst:threads=2elapsed=3.725cpu=7.352gc=0.080factor=1.977zXZִF! 4V]ŗXf1-/6vRZysB N^WG!mQ^|k ;GZ<&Z0QΠ ~a)x}_Gd,r?:");$ŕp͐yDp6ټMTpA-*+_ڿ)xWKT j{/`L;h<i|/3zXlF1g3(%.!VЪKsPx{В;n%mn뎞._WC"0Tw[uȶ|`X}uY ~5C%)tİmiڹח{em/i9ir`F? #v,Ex)ǰWe>ؐg䉀p>5 Uy<-C0IRn]Y&.[0$%@71h9C#y%KX:cm^hNZ}@Wڮ6<,!^(YfP/ ℓe_!C- d ;iTF {|*1to,bz@Qʃsv.[h7+"lŰ|#&OrZǰIze=*ǁ# q?$Os C7.}4[GGjB!RMlBV5TFx_s\ӣjģ~ bKщ5 Uҋ]?~qJĎj b+W.f!/w4/j&x?:B١-wFuCR,ޣ ~Dd:T9 ec&ׄāD5=Ml>%B>{;7ˁ3F(0+@ZNMXPU#"6Vx]h7_rgYZ7zXZִF! 8]ŗXi%qʷg4bo 5Ek){tVg؟6T|Awd$)$*}ksU sAa@/!*%YZ ]Y$ ƒ"4ş6kyFyC8ԬPF7(#:J7g6Ltfa9/9`+vD篦g"EIO鈦%|o9DLJÜ3/_ h]oyn$vRqB \Ȭ6Mu;p< nh4@OҌ+O9r5`]5s4yXF0 P5Bp]dt]30 o5Ŝ2Nq^l!T@RMWwւ h}GQnY#uDre9ɪX<(gYZ03fc5407a1863f996c32dc9839554a793352f24e 1ada44196f0f092a73f7cf05d193818482d6283d 1c73eea94aeeee4ed1379b7fc85cb8af4357a08c 4fe8894e0f87c582c785bbbd6e1767f74071337f f0827bd66ec30d76f4db5a9addd865d6a43e28f2c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 ) ClockSynchInst