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 ((U- D, ?m Perron_Frobenius:threads=2elapsed=10.134cpu=16.528gc=0.524factor=1.637zXZִF! C]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_Y}!d{,^R3ok~uU) 1 w+D~hKSE cQ%@%벝Ui8:Aҟ3Gc\@fxE$JN<\Zq1a7}nCFճꅌTw^ʦ0@ 027H'Li0S@yDϚ W22c"%H/.nَ_@/.n\땓]db.EՎ|W?g1K çP'GP.os£O ] )a6N3@09f^? W W'ѳ ;qG$/|#uA1Wٹ_?}+@ Nۣs4qtH 2zmjqŸ.KRܤdžD8TaDk6m8t42M3ύH{ ŤHI֚P[N05:'uv1.L] XВ& (n-D^r$CD_׎8NAiik.i3)"/E+ 40VϹ| #f).0@S,0}s~*֝VN{3.~+Sj <3/ S(a@ei ͻic6L6{2 %-+ [=fX-ώ$?:E؉j\sO1x*1s s'9.cPrlQsK%IvE3:͋cΎd8%}:P˓92$,L̾^ td+ws^wT0`^UK>׈ ?_R8H4gs1ɟ-AlXꈺ8if>9EF4j4,,Mz5q!da`Jtp~- AR@浔FK[k QbVE/I㡔hJ}Q<+("7;HdiTZ0EHpR?J ۹D A>rj 6bʾƈˆW{  }gYZ7zXZִF! :d]ŗXi%qo(}@^/5yEeT4%a3rx&9=+m=&~㦧E*g5L҉y ?+R y_*a s)oebq'ЄeuAl$wYea! 4gYx)|c>e$!eS6}tɰs GVE\YWcŁԙT4KY2c\hoɖaxoS|HߛgF?wBz_|6;P$`x!~ ->j]jw)VXDw {AXu3#r7V?j/Ԭ:M^.Ya~e f?Q˻Fe۷4"=i ]n^O8{Q92#^IR͌R/I-K8̙Ǹ1-b: j"m%יLԸ^hqHWytD'h<Ӣx)(~ .o I 2-jBV F0 >)gҦcN!d09^cU& &f8cmˣh@2Zm WJAck3PJ ss?`yy]V1 ޗZa@qɽ㔏-IF)`=6fub#$48!@3x#2;s\YDhUM[M=d^U}3==־M$c>O藹SǍH6N̮d^7)6͌ho`'P;Dc5(v쐍svPыw;!J Lq0ŒMJ {vI/7vA&S˘sNe_N=Z F6h