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 88E1 <| ]S HOL-Probability-ex:threads=6elapsed=7.421cpu=24.544gc=0.892factor=3.317zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-[=E{Qyְ}K]Ot I:|Ia{k?酿v\9DH¥%,b(;KՄ+e9 ͐GtN!W|5R.n zsy՛'5 ڧtF w2h83a )!vm]Ŏ-$}]05qVȄcOPw[+ܟBٍͬ]3U> FX3"uiȝؤ7԰D.fb}=LC`y{.T`7؍1W/0 K?y61uy+X6+V,| 2F"-fV5@({-3d}ʛY j0/rbO`1+d؝pI;qNob@04"Gz7.o ]N>xosVKK/!+gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >KS[}^mth6v'g >., KF 'ioȳc, \>^}5;T#<#P ހ$&;Bg.?aSKZKr 0B` ,AfYgYZ7zXZִF! ,]ŗXi%G2>! Q"ÓQݹ/y!r}r%·~mXSXL"O\yi"( rL#3 sxeZr{TapaHG\W\hgOOQ6^߬H}%A$%!Nm{yJ-+"k)7O$j]9M67#NQvj4MՇaJ ŖIS쐻q<5A?Kkr8QQdFwB-r!c:"guBCgڮ9>+JmO&yj#"g3~e`G&HHnUܱIab5gjښ5bސ'jz9g oDJxwگ}( Nʫ;XI{xl#3(W5s!ݶ_ংQ@V"C,{v3xSAm5LeCEBri\C,j}NGbQHaX1M|]5X,Yv]橵o<5K2]?z}ȩ "-tP 筅zIbTB=ʖ;/ERDhVOjVec[_װe6WrBHh SeZKGtvx<2$UXB}_x#76'°2Pvo=