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 c' $l\ ] HOL-Cardinals:threads=6elapsed=6.582cpu=34.532gc=1.460factor=5.257zXZִF! | ]ŗXf1-q恈<-¡$johkX2I)']8PIyNnN"'(s(A˦g зZ+nR@zgg)^GM' =CvZ/-5xY m*GvMRH/ʊݮm3L=an:n jsFÞ3SS`AZW2qq uhpĚB}:63<qߣӛoLK˯r%:|AtmhZ00ߎl^uY<~z\'^hI*5 k`gn?= 4 tѵgYZ7zXZִF! ;-]ŗXiɟ1?ߟt;9BP2CZz眭5 z m!4ca<f^ضwl.(3Ԧ>[7S%(qr;YQE_8BrDVu6LZjN!0ApL>ೂw=eFr ZXov0|xyD \/*2bQP$߉b(>cLbM)_ d `P+xY\ ? peV7x#D;n` IU3[hֱgYZ7zXZִF! f]ŗXi%;3\m qeI]&-?NvMő+xIFB4iQp>IFhWo#  .{Y~bд~/y%ߴKoެFD[&rN6<8Ml oiL!;Lnf?_En$2bt0G꒖e% o|U8ݔdj`{kxW-YA^T^3%H479Ik)I.-!hґw1E$Gu/$407 oi?ocX'_Xg[F}8.iUxRT1<L]S[7eqHɋpqDz[};brkpнW3b27Ak`(4 NO!0n0(j7W=׶-^^_+y;ZZe*|\$%[Ȱݻ_;p>}_CBiUCp=bǻӴ@ı+V;8gB2ry$_RtEE}{dtVGP4 ӡYqL$~n߾6vÒvMywQڠ~!㊗70_q%U_Y&U]<l H Aԉ@}g