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 4d ]/ Coinductive_Languages:threads=2elapsed=19.369cpu=34.536gc=1.536factor=1.787zXZִF! ]ŗXf1-/6vRZyѺ-Gl5M*.~dнQӪԎv5yz: \Y}aPS\mFUNwt56s{^!T KFOJ |PkCp[~ rw8vBlGᦲpg*{,J%E o}4"Oq^`♫'Aw+af5U <´l`4x?> άM,~b@)DGzyL ~_X0&!t96✓vxJ&3@.,aїySqWD \4 BH~0դbeL:8JPOզ@y4b[&`:f*+ȪFvO=.Cr;nY<ؒk-Ez"ī<#}*bpN:=w֐n KSܢ̀]d_ $e|wh)%vc{Vc0.~k9 G%pƢsLP1c?RqBQH ~ڳR^}g=zp1Q&Ioޙgx*9}7=~јqx0 rVV,'6K_|uCnӑX^9wi3a#ѝ5;˱gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{D#kl"P nQ8zpl8񞒅tL_P_MPJBz3ǐ/DC=OExbڟCJmd/]JMLCE1, (Un PYUVF|$t9W1q~BۚLlD$l_<0dilYkJ;D.t_}< ;iTgYZ7zXZִF! g]ŗXi%;GEܠ5FY6~XNKJ5~ fE;!i[RLu~Li֐(<[p:\JD$<5ni;cVIG(Ya: Tt,m yA|8 ) ԯa1H k$N<@3_NŝbARcI\&WEeҋK.j5EPge&[7<| ;NFҌݚp۸wDco/x]kmԠ7yZrpְ'OMɗ"w8Yi=~~p&4Dʹ(h`|MɄl%}.hO] Dݥ bA ^цfdD:RzSmSg+ɃLreK1|q  JVRCQxM|O+L/8 L PMh/>Ky04YdEYIٶEqkw%(bjFRWEz2P'of+0⦢YcqO,NFQ$.L_}XAٸ̸>XuVBNSȟ8cs;:`yB]7 C&l7gW?Aa% p\ϝSud&8jA- M/GqB@7y20$ȭ0hm =c40Y*rDceI\7GToUR-=PFGLa.61Wv(W:+ؓ8%)5`pVr[`rIluxE;&q.jP`g#|^^gn,F:c CѨoWi7I(TsXB~ 0gYZ643337ec49c3ddf35717a3a7ddc82bdeec31852579d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 7 Coinductive_Languages