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  q q $T / FFT:threads=2elapsed=1.548cpu=2.868gc=0.000factor=1.857zXZִF!  ]ŗXf1-/6vRZ;qOYxqWgAVľb_h+}7  * ҍ6z:2.^k 3~b%JAn?ѷ`G-wKl1!tdJ;h^ NeM,rF(P *WJ$5&" }زG^DNx.uℸU+yaŶw5y$/xgĎ,OFr yDkBY|&oV&=+ |/ >|VvCWi/ 73ۏiz Litk=D.B\2ݛ/ È6)q燚_Ac2~D"yf}rWNA<5)$ V#mZԂ# Ʈiw:U AXSQUpl^~b[j-t@'gYZ7zXZִF! ]ŗXi%s;>'N`݃H(9rۿB:Lc̩>,M7amkN >/&0-'B;?V5QMN$JG*k]1uSfx)6o0Vp4R3s+>B(x>1$.)@cJ칈H&o zm0ttʊU5A<[CQ*P\hl3AVV4uR9EAr *!I\>5cn)xG1ɷC3N/pfCE)oQGS \%!CP'dJj-~&zn ֧IgYZ305ef7076f6cf9ccf21ec2178b2cfe6c7a3b3270 e0b178794f66b53cd29b7da5757fb54346e59342 f1a7d4f2fd54f44f5a109392c4ae8d01063b46169711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9  FFT