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 31 lt ]5]Linear_Recurrences:threads=2elapsed=16.604cpu=32.604gc=1.960factor=1.967zXZִF! (o]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29Bo4g{*ǿ|QUr@t]H ([]wؘ߭j^E裳 Sɉ !'3RYl")_?Jv y++ow_+wt\TÉe`z}WHu(k/*Rn_>g4z뾋˷c'^mNEoa۝e}{Sͱ܈Wa5nQjT?v#U7١uMr*zf%(XLkdCe}PEP%ȹ] 6DxUyD](,VyDQqO!N&Xiӿ=x;jwtT:;Y&HrUn#R $pgYZ7zXZִF!  1]ŗXiɟYW׿5-3x^jxͼʳ`O.cb w0VS r_3>VMu$Eq:k4A@h&uzBGfblT;&w|_+y#@/#6)Zs c][Mac7!XW^yI~͍敀vI+k*Su(G7o< rtz%S0N7 ]j+eF!j(i4_frrz`]שk[4[3mG~FW28ąI^X @FkLi<1K?҄bmY'o&y 0y^^JG% j-?'H2;@EV j&|[qqXDmn޿f8DŲD˜k1fQA9E 7;n)4 AO;\Tkl57N04-# .oMX31}\4Az`D uL M^K"P ʥz+;TNwgrWhˋmZ^̞mW2ΤŲVy4?:xR3)fr gYZdcacb7badc2c97d2ad651a4ac209d2ae6c3facb179d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 8d5164e5d73c9776ac23d9ac7921c2466aa7b653 c0d2212167485df5638311f4a52e87880eda6ca7 2ed94f38f6edbff858d02a41897f21dea6478977 da170be48fcb6d75689bdb460445aecd154adc68 10441a46497101d42b3e3120d3d9d7272e385861 94dc7f8731877703d2f3446bee597b4575172d24 2e6baf19e8a9f1dd06f3b135abdc83df35699a06 84d2be430b1a6420bc14971168484b946213aa96 b595682306614bae21e72fd76f9b9daf5c2c2ba0 d5efc1e197e5f8e059390f94ed1fdd2a8afa614ef51ae78956b1753bba5eb8c168c4e89ced83b3d0 1 Linear_Recurrences