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 VV'# $\ Sw Minimal_SSA:threads=2elapsed=10.177cpu=17.652gc=0.476factor=1.737zXZִF! I]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒R:Ġ(iLC5X, cQlu609a2Jʺ'>utv%J8A,\ӊ"7qb+-m|+:WDy atgu~7 . JebZd0;)kQ*d9r~#A 6h20:`M0qbyꌟ|.jBP7ѓ+n2dx_ !$ G57ަwwS"lD_a>IgYZ7zXZִF! = ]ŗXi%+# 0YT& g7j^-{W/hkT H1ar " G~ኃC +KBٌ;Ok"d@a>8զB=ar $!n7KM㴍^+= hUКvf@Ip͇OHC?7SAG&&`w}ONj)#c2-ܾY)M)?_'3OA"hB9]f;u~!]/=0YH(ҍޱc7 l3ץk1SD:o"UrщrP5OV>fWD6/3.1k*\u׼`֟R9ל:{x& *hi"JJ*\Txtܐ:J@:LHa/G,m{,5pBԎ%!oP/8r 3QR}: dMwWŠ_vKj4I ^Kl*y7 fa}Fla_Y<v ҰJ9@|F?iTu u$n_yȋ*W{qq!^;Oΰ5y86Ѿq~|pQ1pɢY`5;Ȟ@ړMk\:*`:YiP͍!{"LGڨЂm