SQLite format 3@ .  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 l4 ]S HOL-Probability-ex:threads=6elapsed=6.833cpu=20.088gc=0.840factor=2.947zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-;{%1?tHZ/f)hCDZOE2YkNDӐ]4Z#azJ.Lq4%ҖY.esȫh&A|H@/y^:وp@HXPrϴw38#Scj NH?R;ŦHeT!\`c`'?5',x%$Ph,h!/h׾ 99mRwy 9\O*mLmO>XQlum2'U֘ڲDc!s230q-"ʹx:TN gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >wt$(߳2q~wܦ}60:?oe{>x 74M:`!А}mS`3"Hib`hE^ 5E(PWqw݋{VLgYZ7zXZִF! )]ŗXi%BfΘADb+3Z3ҳcN2XT5YRZZQh+YzWGOGak(jԌb$bA C{tD@^IM"Hb yyv/PyE ñG H"ӴC,P|Fe|4(S%LW78/oFv#˱ac /iY 7T~"A~4nTC*$DՎBtXe(L3ቾ- yޜ=\EP0oђMmhI&ӕY`wU3o6A`?An=fG?d,_ 8S5//I() 9}lLNΆ)O> /U/-W ֶE^x nOy\-嚂^)Zq qi$C s YBj+鋽lL#a)p3zOcvy{s5/FNް4&Ab߂69UxM`" ,K]."qRW~fZ[(z^Jœ̢@S+a?CwڜpnZvK߾_˚5av6xR#u?+M-'|fKƹN[iv XbX$ktpxnG#97߆oz!]K$ T}?Q()75&`̎xTEI /'ShZgYZ0dd6afc3bef53409fd447464f0432f1fa8b4d2fc1f65d912f4f4034c3d90f597604aaec582095f4a 1eeb4b0d9c6d446062edef5701a7b107d157602c 2e0318ac9973171d06b2de68cb4b7b7ef1ac014e 7ea2a6c8f630443784e0e119516dc5ab9acc0655 1 HOL-Probability-ex