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 B+t4 S MuchAdoAboutTwo:threads=2elapsed=5.324cpu=8.816gc=0.260factor=1.667zXZִF! ,[4]ŗXf1-/6vR[k\_[FjhfPiYLKh:(ߑ|R3KQIN*@d( wբ D?hBl.ImpIJ  &372SӕXەI,eK_Q 2( $4!;3T/lc^UqRyC⪥a8tM1wlPuCG!'>sY/ VҀ6OC"U$" Q t\MücGig١q+K;W?(kj$t=WɦS%cf؆0墋FF8߰SsJ¤3cǦ/2l͗fZU*(]] vū$#,=9>zG+0thY*'0X?BR܁ȥtSlUItbEwa9|ϴ1:ߘ7>㚖G]-Y՞SY|ā#oy0{x_G7Vg!֠'iHiX[`:#嚾~hdFBt/2S.L88;8<^8TDz' t{J ׋ e5E`+ DiEs>pWfM@ a%ZeءXxj̒ؾ[^d?*$BPΜfޔ bLph8/8YMa(=#쁿Xv.M[GC13\Ies؎{+$|,^?J箫*\7ܢյS]88CZ8RX{DPgYZ7zXZִF! %@]ŗXi%s;"0JN2iiKlqܓڵ;呤 9,;=nZ8tZXi3a/pV*y8U(J mCXYt`=#K'40iܶ(8mB"QÉ_a>0GIB654O$Rpy *V;@d-;Vljko6K+98G _AU˟\\m\ԮIϪO{v9ܓlf5 :(Cقow(EIb9ncڦr^nܐ,eXpl~g-`]!-"İ;daFCU /ll56y}&J3v@"(TCwAf7 ݄ +ޔ:;|g