SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info It| ] HOL-Predicate_Compile_Examples:threads=6elapsed=46.286cpu=148.120gc=7.896factor=3.207zXZ ִF ! z] ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}UV5@\AL :19D0aRۭ"PC#A1cOz @ ͅJߊl>,00.!oP9m{lڰYeu[T|=(z-WQ^{ LfXvj* ?be\;_1fx_y$D{)5yQĸZПXڧgCz/2`k {o%?͞vA"6't:Qڲ'oӳ \u0h#י}YbJﮫ®NKi0HEPf0eEw} `I>+hL(k6lݿfQ@2\q_F b f|4nZ(J^+R1pN:WR5~[-l0@GC<\`DR9;Ax|cKDP fb jo1S =to8(P6BfH3oJ\Jp+D(gvjh2N-ȍ %eHT),m"p ͎-fkf:B rq ձG}y68S͋@;AC:^UC.].U-&KB gT,~rY$/%Ӣm./3w=n z|}遂F|ы#qԙ<] ꄏ8e'Q1)*u@{](r~^ss HxŬ}?Pnjs }b]屟ZBX1C Gd3^m[_:6֜'0~vMr]TߕK^cQ;85!y=oN ±Զl(. L@Ub#Y /ӢzxYP8n@T/ T'D:8&:a0_6C2o֪F1JBKC2 \oÒS/Wr;_(.g_*%ر;Vr2&/GP/>-j#W1s,9YS-& STI@5IKvV\RH#sP~huy8n7yToی"F7OAg֞P 73!C7.ŭh呧^T`MaުXS|_Y{CuFwK: s߁ᑠ>Ƥke&N"ux$Ɲ|n!7[⋚~z,'7`@3G2oD^O7/k#XPԳlw!2yo0߃4lԚ ٝm"ʊ4Bu~m`@)bŭy˫D@0\2]&ᐤṔTI}!jm+ NycimqPUduϨyi7GZ݈y xplsΌvs`o@#NpMwyH8~StB> 8Y''|x98Eh~ZŘ+b6\