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 x7 \t  HOL-Word-SMT_Examples:threads=6elapsed=55.492cpu=78.788gc=0.924factor=1.427zXZִF! ]ŗXf1-q恈2Z( \9rfJ̔`oc÷TL: VuȫcJTSrp_j0."#9MiHnrAQ"XFd ovdDڙU~}]fAfk }>Ixv+@vC#s!-Jm?pZ''O'DEdLHD霆bҰT (7/^J%b+:c7O.1:VwN{Lt>7#MT殡%!M9B99PC1!Jec$NazW; 7 HOL-Word-SMT_Examples:U[)RޫR ID݋:(gel%\: m-to 92PK>Ϙ*}Б@e1CSus C"^b,(VC&X^aCaW2LlCm=c$?}4)0?}kdz{7p4a Pxe[9Ak+X]Z̆9/œI \iۡ 4 ǬQmD2 깍-v!t1~2cSuX.[ Q\3K-˯ŧj1, $J&P[4'ygYZ7zXZִF!  ]ŗXi%6pGF:lϡJFc ײ.b',mPJC?A fA] (1+,J[Z•q3u(-}s^?DȐ `OBujJ^3vY ׏ixw6kþ6AP':`wtbZ H<?+ut3zfyvɫ^:;xb +rCJRέ%VxіELSZtuU&N3}巰ɣAwocN,f0wf6;+ؗE{](wD6V"V3Bo_zrB 98sEbм$hgɱ6Ecͳc op0spcW+q7`0B#.>Vrp䵶FYǦ1f$]uպUuZ}*> p;c\մ k<ֿ~T 5"G nڳi;61l@k|L@~~ x/g^TmeoҡןjsIP2naB˨ DW/`y,ە NX%YsUʩ)W(e1mJ{bmebŪ|7.+d`Nӛۻjik>1$A 3ްreD̠֗[l1ԴL,SøvjSl6oW92