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  v v ,D w/ FinFun:threads=2elapsed=6.153cpu=11.472gc=0.588factor=1.867zXZִF! M]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6GR$`?􀷻?L< pu s':-JZk%8zة U*5s8z"垹i{t#F,RRr~F5cMْ6l^>L_i7a0 nփǭVWҁ۾6\ 5׵QNp h_s,~un[SA)s,%R/;>X 31m:AUBtp*3+wAK>$5$vb]P̔N%="ky+yQl$Hᮚi%G,/_0{Q5ZȄ#3/IPR,a>wJ}qxs?ѭ*P-(Km(B¢ Ď:y2훚a.T +xɵgXH9U,ÔYk_]"t'h,"VY& Po(d:jvFɭSbG޻ DK~tH,Z9U/-GԮ``ڿŠZ&w]Yxm=OdNeH [WNUhZ1|B fbY :g^jOj..\Fuh{ M(b9B޳pM|Bl: .j^Qf23\ppnI{qk k~Bu1jH rKT&ט0wP+Rř5UV7ޜP&#b{fJzT&igYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa   FinFun