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 m1 4l ]S HOL-Probability-ex:threads=6elapsed=7.835cpu=24.932gc=0.796factor=3.187zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-D5>_aRXT(L %0NqvJbB__kZ?6o=C %<_{M(:k;z|DcuD kD0?1AIs4*,YUvp3tB&B7 CiJߡ :HM_VUzѯׇ{"d d5^ɗزuE~9= &LsOflm!:*SZtM:"'HשC eOgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J> Hgf:w䶙}Upj!)3#\=cz18Kaq~ÎLp@drWTV1<|, p6¼脳\ŤgtIb.݀ɒݑ{VLgYZ7zXZִF! ,/]ŗXi%Gep$r=!%$% z[6T;"QdGڬO+TliF^Q]X@٫n^s,_ q~T.苣FͲU60o58 ,Tx?!Nߋ t,MSӭnC[-!/kDe(rvԾK6XΫJ/'=s4J3y>HSa:< &º_:"h?UHs5 YgYZfbaa36d228aee4e59e96d185959d1d679c6bea25cac5d03352e376834a77ac05dd893fd2179d2522 021e215213850104e25ab568a4ae9421ef705042 28bec225f52861abc54fbfe94826de89869760b3 4ac07d18d5f63f5327ee9ff45b30f2571765350a 1 HOL-Probability-ex