SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 PP-1 $| ]S HOL-Probability-ex:threads=6elapsed=7.502cpu=24.416gc=1.036factor=3.257zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-YX4kIh-6M)5;~MF>hM4*L[ Il>4m_})2DDw`Qޕ1Dcz-1LV&y+cӓ1a-l~%WY; hx'/iUoW:ZڼУK^ea`cnQIPk#q.k[Sl;5BHuQ8@=n Jc:7ส(<9NwR_;J^K-:'dvJ,ԎĦX~ N:kT8kLGڷ%`%ɥQ}y!ѯO§@0B %Xuj-R( H̦2>?X‰4Q@"A,NJK`M[ FSN %=Ռؙpt;khQ3To3fVduFPe\7g ?%Ŵ'U^,:H"`yHLY\.ݿJ- ]7W2,*v {VLgYZ7zXZִF! ,]ŗXi%GQ3g2⃤sx Ju,ꏥiH]t}F%r)΄3{Iw@z9.̛͙Yj 8A'^SiӾ'@@#cu.xH$6!$aܚ>4Ȅ8`lf'>/U6q ;m '3=[/{=]2S18 q2SBTbAJծ|\͊R/t:(2$2ORw@s%ڸFX숬1ScsU'J/ո(lplkj& kn7䵧|:a[w!Fə'H͐>dqCP?5}!=$& xAz~YvcPIu* 2Otry hJY7JZkIo~as\αBsߣ=sGC|4I+ω6_xSmOI)\ڨd)U'Y/p)4I씕y ՠl+T%lsFe(8?*-w" 8{ׂ5PbkP]J