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 q) d,t ] HOL-TLA-Memory:threads=2elapsed=12.039cpu=21.172gc=0.628factor=1.767zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEݧRy7,Auıgs<$#< 3Vngڲ*e bmlj]UzsǺ~E,N5-TcRF~VhfǎNq$MSQb ڷ;݂o<*I:3E&GɶNޢwyf:RZVzy{Rք]Fm60L@ !TI}jHH 1ꇄCt:}UKp\vB;mēbڭq[R3lؕuB}ҕ%)fTZL tWFA ?`ȄtYhTKu!E<|S=f:h8?z}R)yT#IfukVB5z^ 4,y z|Rhc ֕C4\5V9!wu~*Zڷ'mY al)PicWz+:JD Rc%B&%*22%qM؎`uh뻹ӬytqS`4J+ԗtQ?11qD^X2Y>~Q'Ku5㫬=Ƥ$0R2.gDѠYq0߿4L@:') $Kn]}ThQ&[,_oD=?ƥ]E}Ij64*J-tF u0{ge=ѽ4Ң9fB'ž*#YWD! -2BbJäqB7JFhw4N^56M޴7 !II8xoUˠ*$֦ icM9}UX?> b y\}&;H[E}8>Sӹb:)H^kx -Z~J+ ~U6WBMERK+r[ h77hQ] 8 a"DV_#oc 8nw0FS<2K6;l5H l! T3>5Dmw_\nPiya\Y "{S8Y NwTT/s2GskX{rdoA V'k읂b]mNLH|ҋNF-+7,p9kgYZf163859a0c728d7c9831b75ffc7acda179c4894987932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa 39d74aa8b026d5b28934c20c1e45c4254222b1de ) HOL-TLA-Memory