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  H\T ] Eisbach:threads=2elapsed=1.329cpu=1.716gc=0.000factor=1.297zXZִF! t]ŗXf1-q4(~$Q?bִp;w~ ѾA`FHmm -b>nmZv#Uk*Xy2::+Hw~^4j}-E3*:; ݟf5 \a &!3Bv5±gYZ7zXZִF! d]ŗXiɟsмHI:j|W?iUF|1̞OvCUskwl((GH ]FK|ҾXOez_:ll\njkERgYZ7zXZִF! "]ŗXi%;`akWCn3UDDtF#>LcWFg fINe>3^뿕d1 /xCDc搢HBx;L0ݞr5 ):~:5獼Gi@s kT1z{'8\Y==log z{򁥡=×k1L}/qGU" aD4<@XwSYqv3䯗S҃_t?qٿ8CNbvɥTCZejqegYZ5a8038ea8e9869f2ea74b3010eccacd415ce397c87932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa a3c58ddca2103a908e06ea45955e4bd8b1fe849c   Eisbach