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   p1 t m]HereditarilyFinite:threads=2elapsed=16.567cpu=26.016gc=0.812factor=1.577zXZִF! ]ŗXf1-/6vRZ)/V~l_vdᷟGK?尺 [-=CU;"n*?Ie(/ _K 7|ginKm]TyEsqcs86r}T ^m@ݱ}h&6|kx~ "(hu7EUKl4f8l8}*IrB{psgynD;*.Q7^>7#3 wd/<o8%lsxC (u†RZ6{ӘKR*iիK(`fĂdS,_xL!7Yr+9r&ȃ?̀$(Oz$/CC[crdDu_w}*t0^1!ۗz&+TlVvt2rK{E_\F>avU'Na"鶡Tؓ b9Fxٳg㽽 Í=P٦$ Yt^1-A M')fnJ`F,:R MA5WJ#] RKg-q_F(O12 l^i+8/QhRr'CЯ#15k{  H)IALVqÃ?RG1yS,<"ge@a@ U6 b3jL̚^ݩzH njޏޟ^c *>PԬL2'q`!J^ٻhGE_vy9c0&}V  L. vi( {Q :*ِT1?%_wKZ=+ =Dz@ 8ƚr=Pt6/Wr)Òcz ѢZ ꉠQmmI^%TIbI -x̓I%ڥo>zAʾ{ &E/Z|eh,Fj-ЌQHM9/GΊ":+V؄:lFi'0L*R%ƌ^1L'LH[QwuŲբs):6~V]Jұ'iŢ1Xߞv $߄:PNJC<DmS{;d3wp\=dAW(ChfB[\Y~G};a2A.{$0J۪Dˎ:D?w,N`\ײW\Dvf.(Wx5*oӀ4= 'Azhh/M؅]'ݱ| YO QP4gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 c23aabb00636d95c777ddd7eb7518b377c4c9fcf df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce80590ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382d9d7752f1826fa147d99090bc55e0cde2ec9ac66 1 HereditarilyFinite