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  1t\D ] HOL-Unix:threads=2elapsed=5.759cpu=9.436gc=0.472factor=1.647zXZִF! ]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kD|eTJA/UU||*eGCo?3֍c6bK:#Qǭ@AiE1=QgmʢNQX{j >tID~+Q,ѡmO6@W6k )TcIʀMxKagYZ7zXZִF! e]ŗXiɟ1Ivx*`(rHQ ɅeXa?IX}#x,pMVM:+eLDtٚ&fyR=gYZ7zXZִF! *]ŗXi%;ŰA/ҍ1m3`ڭײ X,Tmeq&Y7*>_ApCv!e3{ PRC()yQQʒKW]O?;^0s`s :9b¿>C2E`-'GA3lU+odW7A3撤wii@MIŞi IDk`K̽ʨKt?#j+T@@5+g钭rX9Ym>!'/ jUD XB:ۧ/4ePw |6Hr޼9֫O_unHBLD4,qRB~ile9"H\p~|soAt-Ӗ-c_@Ee6YEe(+jƘqk?BK~BxAWZ6/M*q9Uu"ijL W[oЦQ@ q0@͋ Z~ "Y&&wfd8?΂a܈/ggkJ ?ٜJraqcA8Dm|_U%t 8BÒJf+$2&NhȓP8^Y4ީeJNfú>{n9 O*Zbک=T"2F~ݞ31u};l Aab' qfUWTETȮb{gYZ1d1f1001ff27df52bbf03186a9aef3be48e6e841daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c9558   HOL-Unix