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 #7 | $ ]/ Coinductive_Languages:threads=2elapsed=20.706cpu=36.424gc=1.372factor=1.767zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'hQLKkzc`-V'6.%;̷Ɵ `xwUMD_}B{R)}0{۬hQǘjd__Y UEVTA])9K3,vbZJf[kJ甤,XzuVVeE‹l1R>VPgx76r .Cly] X|8 6D$Y-O zh+P3 mX0Ct{qwHr] $KDl$vL~sVmd@xsp%|(M>t=+XV>LFY)նtB`r((-,5I ߍnHH_d S8࢖)9jo'97RVF 1&ºBޯHߣwHqJu@| @ M)q8PyK|xd=+h( :*ͱ.ka~}979qgYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~.\cr.R9$~;auߚ9"!a.8. ߺ 1Ȧ\!1oV`4;VAe؏ߟ{sD~o-]0Sf7HPc#Wz7~/$ѷ5#Cle> @FGQIk*u'&w&M4"|`^6]mOkEBb)*UY5.Ca^VqyQ ?0F8DVɉ._la,kl/U$@D%W>7RYp1:h9ΙU?$J2ZNRY9'?(czwt]xv dѹ c C$&zuC- t>[PY /oB7+ LMw9vP-){0GC$]Q{Yb=Z&𩞘y`} k6-z]N"ʝe94+p,RDNA71qNV#Ox=OYoa˙z]vrY\ QMLqܿaLxW#BDu\gn9$[ rB JxRwbMOj9m߼nzAA%D>2dnoqJȺ =֤٭HhҶ qVEU7,nn*jš땲`~xS>F&.U뙈QHAM}((IXCt]azbxܑbtg2\F[l7N[a8C:%&{U:3nפ8~XG_TZ~۩-J!?ps %eF..4#m#,Dy93T1 ђ$@>_%S)ͷwh(W*)%u(c)닿>ޯ󨉼A `Bָ"Npk>/K|afqb'%wy9+o| xUt̿"?/h+\Se#$Yid¹RV߃}OrE A,z_M Uh7Bxh,$7d^vm N6Q/b\jp]jLMxD_az{z'8\M1[_F,^ jQ} `0!tO#`NcLづ QgYZf66aab78810661c56bb6001443d4f544ea959217e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 7 Coinductive_Languages