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 u1 Ld ]S HOL-Probability-ex:threads=6elapsed=7.396cpu=24.388gc=0.952factor=3.307zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-ߝ}%$Qs#.3'?άkn All41WQF㨄-E$[]_nn DڷjEpYW,vgA㸼iVA)Yc%^`x2k&}MeOWӱ)#NS /W١N*Vg>y*o&6ڰro=MrMJy3$OыlVa#>Ȃab˜3j%Oìƕm~k$.zM-цu~Ƕrxu647a܈ܷ+7ibk8 N#~vϦ?ܓ%#"0~ѡQwq @5:1!͚aā%Cc1]mўUs~e|7.^ FH+V̭ I~_c7~ndp![ıgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >fno>2{lrH8%%2l W*s{e,@ͽJѬ\Q3R~~ȕnjta;Eaj0obs9QL0PJ4r5%Ut h^BZpgYZ7zXZִF! ,)]ŗXi%Ed\c?Z5,ƛv`fg3u!8>m%RVM42ZWnXr ց1s4)goiȹ``UWƋ[7jzz `BaCM^ gN5lGo6ȥW@e޴=֘2ұle(w d[F_e![Y:J{Oc%dC9`E)݃/RUAyw'q= z3&czc7/0k8GqD%|%>HsaH %xQfme%$AG!/|LmW_ڤxD-L">L&w@-l>ݟU+Z>2GPgH)e'.sȾP&ApoG \rÒe%ӸvJSxe ח]o ݷoyT!Oط^~vh=ЩtARrń!P8n!<\/{G-L}ҺIG\;%Cac䮺h^/0\}zwR+jXmdHOIm(#`s"AB=ѯ\cjp+|Drrot:d6ʭg]bWȅ`6OҐ^V/l7a"m_}uJwu>ܣaSƎtR~rzU/R1ay^{ND"S.\&o%mnqڴyI94WzUX1 }Lަo ФIpli?9ƪ%/2K8Ð301P+ؒ?fWu7BR,ҢiF5RXD3n