SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info @@5 S/]Marriage:threads=2elapsed=2.880cpu=5.136gc=0.064factor=1.787zXZִF! ]ŗXf1-/6vR[Cx# U<Y dCNhtvaYg.|F>(&ey7gMh'OXK&e$ޮN_B*h1k^+{gHQc9nJn'%WU隓%sVJ%Bh@> ~usb2D\Ño=R"ޱ!٣gCr?*W5[zx?#*%Qn-L"7{Dы26GDdegYZ7zXZִF! C?]ŗXi%>)/uM[@f׏{F;n7&|$V*yڰ^;UBf7IJhk҄ƇѦ{b:\!cfbnO~v T)ܹ ᫠՜76xe#exzoEk?l*0eYT=h'8_Q#xm0?8` '2!|I@#E8^DZxa2\'bDfˎ!?Dd@6z3 GN 7>m`E#%#?v{nB{@E x9_edj୻pFlaR Ȭ!G!. vc ֹZhi-]1$'Z@*9:Y>Ok8&BLf\3#֞xf'WVh