SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 77F1 $ ]w HOL-Probability-ex:threads=6elapsed=32.803cpu=55.808gc=1.336factor=1.707zXZִF! F ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1DA-ᩯw m_IrL򁵿P;FdOxd2ԏ!8jbߎ 8(E4z#ǔ jCᓫun>*NҎ}jk#E/^y72EuW뭣HHr]Ӵ˳A– $j%A?S:ewSn[F2 5o-,.ص1O;hw[MZi=^RG bcbXYBؠ>Y;?-": XH 8ytPРnOص!E{[y Sw擂e$Y<Ԥ-|Cl.“ʜZdž3v-]zZ1hdr%p7$_ӂ*KETpm0 fS}Ɨ pH5!MCumc[pwi꺯y#᭙⍆$up&m4Am"(E=|`ՐN3e q([;hMPfM4{Z}k8Ϝr=YB?0VϰdF}ݤl\b* 1zkq>9ްXTOԳ,ݫՈ?NBwS62CG=k \jXfŻ>)KPx7tiբ f|2``ϱ01F尭U=z)7a~.ڨrc+Xd,V뎏fszyP[53d:+Q$$G_8Ee|KaY~uO :9ÆO;FvGb!Fٝ дAQF` 6dTIH8ZWlHpgYJ PPE|< cCV5P ѭ˰_B j>&ޱW Xk_8鸩[n4mQw蝴^ [;[H;œV,J\V?&$nzQyuub҈7/PZFM''%(%v`אrba#K2Gؘ~%wVv ?R@9a"dۂgZ )V 0Q6(=e`߫7GGy+衧)nAHs1].ϙiQ:VoUA[>k,̫ Ky6_ڂL'cT8a.@Wp +c,0R1[Hj%1VE/F(׹&)2:|]/)BT-G|oorum8>7 :JzFҬe](Yu[sKgzj ^K_Ԟ\ې&E$L=G/a,/ !) ~" \eDN ߐ`mSrx0K"x`Bg"3o>8.qH(5GOIMëh4ri~x#\$p۠e6!7 (Д}1QxǨ*3z~Q! 3'J+p;8%&.B6ܹ@ *  qvgYZ7260c177e6e37157de8b3a40534cdc2daba649e84c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b da5c9424883b2cc4d138889d75bfb1bb769fce3d 7c86cef1aba42a80438c3548ac3f14fcf459425e 0925e4b0c830121380acf553897d3e0109c59e13 c1228b5b420ab751c2812c8b175844482c9855fc 1 HOL-Probability-ex