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 00M1 ||l ]S HOL-Probability-ex:threads=4elapsed=8.127cpu=22.504gc=0.668factor=2.777zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-iN3sŃ62kǻs"b?G#qVa'bxz/,Bqj~#╚I&kS;QFJ̝-#Vʱ7:&ȶkWo2l @.䱿7Otv+ulד D-ajĆpK}ek,uڕ gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >E_GMA}ڠ)N~X$B'iL;rIrh_d_ q>eXq+kʯ&91̆|! m\0#9z>%:"$YfYgYZ7zXZִF! /A-]ŗXi%Bo. fEa8zW j)];nfZj1jc[b#)<0vN ž^*Ce`] Pz=zX9V Nv1 bG%:n9'[[2˚^fMAYN!/dgSU51WHkwT/׷^%8EU b;:B"䟱/#w(5M3L6ye':סf_gh>~?aJeLJuIS'h)aQإٙj(Ԝ=] Yi@s4P;3TXUmQa nd"1rdDEYl=5ECY1//2q +3쉃;ApΊDZЀ^G9D!fl%4'ָnGh^I ܷܦ/`?n u}_tDGѬň6?/ `yEhTJפ}q\M?`:tKa9S%g7LJK:8j}Uc,~r2Y ;וtpJF-ȟ[oVJO!*sITtI/:9,/UYzZdJX6d{L,ϩ+JD^C"'APbK!_9=i9IDkD_0dYx+" Qd䧄LYqTw $GZ