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 LL11 $| ]S HOL-Probability-ex:threads=6elapsed=7.594cpu=24.480gc=0.832factor=3.227zXZִF! / ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-hy:g*­2rPl4L $2ɕX5CVjKD&R#M&Po6:/t읊grKqr: c3sQoȝ~@ЕpbcKMt!D? `CSg;3/I˧ MYHU;q+[!:bVce>IW6 >%aِ<-9{x!zB`Ő2sl }Cr0)"z+^+UPc`F"<#6hw_z8&2ջ)!cjX+qyԮ fbE;,Ɲ?p֤)S#U&̨ '}wW ^jYDF~>CD2~q ,CQSԀaHZ<;2tgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >" Iss\[}+a=a !K an?Gy݆ѷ;xZi) 򰖡'S| ;~UQD3:׵a'6bbdʫǬY;t}SL]wSD& fYgYZ7zXZִF! ,]ŗXi%G|C|S%r쩲 Y0rE K-h+y^~UZ{֘*xu-**}#^7DrZMe[ ppo.z5j y[T(+#BNWo5^CwuOH2CYsHZ8S9\yf=ֱ~ZhvMzGms YF8έvǜeʾ4yY+BޫоO[b` ڏZdyc}otQG}5?J{ M6Cft"MMI%F8yƠ:&ri-g#= dbUk%tfzi/4Ƙ3pH Q ̰[R=,T>z}jrٵAPt]n'dytKҀ_&A3v/P̦7np:GU-sPgH [`_B|ǥ`/nU+u?^Ar Md9(d\~)[E`?! 36Coe8;<;0sB2̚LZFUfIe7.>ûz \( tে,8Zi ;@n8*Փ,տ{9@xA.fYlɃAdyc’m^J|ӵls߀3L4@s+ ͺof)7NE]0‡L @&d|Wi䘬9yڙk<7xONx!9ѥ-"-^t~O/{imVpiPߵ[}$Ʌ ~l= "|̓uHIn@