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 +% <<4 ]]Regular-Sets:threads=2elapsed=45.471cpu=76.496gc=3.556factor=1.687zXZִF! X]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'lPE_Ul;*IdZn >53ϥBL.__ mBA *T`y( bthRr3$HW @ˋֽ2.N{1*ŵR%=^X>v|sugoӄt7pfW[!S@,)p=%]!2DrV-:k^bsꪭDt2A(|.e\v_<:Hd"u&moxw?:JlvQP=I idՎp^*SmgYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~.\puQL*0cb7kqÚ?Zg.㉙[ggv]Ci%W+ハJg TzP^%΍#q4:PZ6qS߅iT78 tLIĤ֊PK^%fp;?blnP%6}}oLVB Q+ZQ2Yf=*סxL5' AfC{mlZgYZ7zXZִF! ]ŗXi%92.i2TP~7imid֒l΅JTtNxr X5p:]$m(_^1d ݑou>S_/;6ԶkU1e$Vvш<0N 10z37 "W%{خ 0 /y rރՋmԿV/$u9n(?t y?̷ǵc Hch!ĩ*k 9+cp!Bq?uİl} `#dv[J|>śNp 1GB޿bDo3$1?U,K摛A$&i N ׬7(_u|:q- }L{D/-ZxtK1yv>?.A1ͅ"=hPѧ͑ϙlfi:G.*"Wl 2& ,xE~%ΞyKƭuB #:LۢС..*69)!|S+hEբqߖM"Gv;oIByK> d H74WbKiaĵt: C15ݲ5`z$(+zj /u2&_&"zځe>-㸪(̶U̩n`IW\DePFG: í{cCEw8[jx&ǔ[x\waNgwkїjWa0en@ԄY'}o*q/#l^|CRު 5Ff"7Vs M0_Pe6A‚rgBKqGVlh>lO(쉑YO&GQ dR=Jg$4mt,".8㿫_=0BW {D]G;WUKvJ)H{`xF&NBJOھ.3mw=)3^C#jX.AWA2g: { ܯZ?J\Z<ׂ#ztZEʛ\7hEC)? -%0csU?c[wJear\5B!ˋɨ噧~3k,bM a! =pb-n(Ӣw}~hkmaXh"UO_UWQP8U0-iH!:tD.3na@x̢˳!?+|XICxg/'GJB7k aпh gYZf0c445fc2cd7ab722dec59267998b27a8e3e7695fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740f9ee0fd8fe6260dab3252a065891056e114de6b3