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 ll% l w/ VolpanoSmith:threads=2elapsed=9.036cpu=15.920gc=0.656factor=1.767zXZִF! r]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhqzGh*N$O;U(LtnMsRh5ljM)'pT F/Ύ`[զtigw0ɩS$Z/[BkP EEX1n6[l:RAƼ6.XJ7>l7s 頴fw9`@@<3đ料dP2RMB$gVHpaHpc-cW 1(7v݀Xߩo1Ɖ # y,7EE|1Gũ*FnPS"`𾠟_#g;fr=MOA <C;9dgYZ7zXZִF! 5]ŗXi%3g>MQ0 ~,uOׂe'6lHյ,ӗ:YrTide>Zu:rdPa = %ؽ˶m<C.Nzo η,^(Iy0C'zPx H0; km~)vW{n>^`H)~ƧA7Y`uXcr5Pq*ޑI^, >k\tI/!]qTAfXUv7#%IJGK EuXsFf ;^}۴`D'*ѠqGgc㚉ŘHt<$7z.J/n(y1r7uOHY,_?oO쥡A([m jAGupU{Xuq/:FsbxN5 :\NVq憰g u͋m3uO0uj@ABfK}Dbrnr?w Tҫ9[mk4S+H*lw{j*,FSTaU^PY˛ҀL"ǰ]lKTm$ާeTx^[`WRpUiL=r/S1DN% 6Uy puNV*fD% Zڤjִ}(X:=1D߶ ax 和'D>_H1s;|y\<( jMJ6`جRr j$rra9tyd &6ni*lCk:q(gYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b2728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 % VolpanoSmith