SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 F1 T| ]S HOL-Probability-ex:threads=6elapsed=30.794cpu=50.636gc=1.292factor=1.647zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-eY"*b>CNϝYY~e]Q3 ?ozc?n)J ö9PsEӶG,o &@zn,1drZH.on(ƈy+?^{f׏9:;3 vxH2@>;&'5MEղTfw5|%-+@gDlN4] =Z<_6v# I$*d;aǜ%׭/aa>`FrDÊSQgYZ7zXZִF! ]ŗXi%@j %AWTeh|mw!xfZ1+EqFf9n4C?uɝr2 ؍DȾ% 6W,⤎^Hǽ SJvvs^yQ'^ǔ`QZiAj/ }!ꦥv/Jzq0{%|,QyG0QE= ޑ{Ts(_^rcu8}NDhˆ٘KMHx -3:wZQj.GY<^Wi 7>$ri JTi-e s.󡋡Y&žgre`Ha[|lCX%;s:c)9s'Yf vLuQM+P艞܏;ة,bFVtu(QkコIs!QȬ9չp}ij,*_ju]v}U;ZOLPN)ψ۪$vh;K# d5KZ &|˗ _eVx ^jSƼc O§7l\<"&Rt- jp-E'lO]:E`S2+_JhSKg bbﱱK,b*e2-c2 'SbF\%# !wW)Ah:k.d/ \64oƫ]70Yz$&Y_ݤt텧~kKi)^2 ʌ؝Y5u"=oz%>a-&ز