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  J J3 | ] HOL-ZF:threads=2elapsed=3.860cpu=7.112gc=0.244factor=1.847zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ʝj#xg!)}eZ\16 .moJۃϝK5ld6 M9bVQpK¤)%N(`zN MZ?~vٌgYZ7zXZִF! C~]ŗXiɟ1qnAcP꺣3TAaeiGw4yTџȂ ٳ!n.̪> .)lEֲPF/cC+k$O`!wecgYZ7zXZִF! # ]ŗXi%;P.MF=Ch@|GzJ N?%Ld^I EQ]A;9JQw\6hJ5^=gR"Juy9s߹z;\JQy?F B*GS2) Fvg9H%hIM md)ap?r=8kzNw/ѐ2p p@mPaǎ^+?J(#1F5gYZb260c677ddbb46a950ce6b9d1a6b0ae330ac08c94b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 01763d1f9d1dccd6e1ba7f81275e973e88524c05   HOL-ZF