SQLite format 3 @ - l l B77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^ ^ 1\SS HOL-Probability-ex:threads=6elapsed=26.800cpu=46.072gc=1.184factor=1.727zXZ ִF ! [] ŗXf1-q恈wX822*,״ {2I[R :28BmolU!"H~Jü(:`n;5ۖV([sZ!'}B'N+j8Od5Ź`[+"Xr3PCD!mz5}EO7458ՠ$ ZOuۙ&6"F[yaOk+Ff_S! #KׁǦeUyhqDůϱ<CQ@пa{A;!XI] =*l.0>&R,tVf&A̴i4F~,?Ө2{zym|-NCVwxgfUo8nVᗌXIWYNRrp"Ȍv5Ax5rƀ6`G\j>^IE-M"ZH y:&G >\ 1ķE 1 HOL-Probability-ex u.#7&Z|g)u7ZT<UɄ"鈓CV6П?C0D]I%2<;mbcPt3uH_`۩Cmbٿ`W^>gl(E^X;]uB2ͭhg̢ōvR_zqcY1e0F>LH? qȬ$4~[ clL)&U_Nh ($qBTѱZR9jC(f{_w{ۺgq-63/^abJɒŇ@pWrPVS6o#:@GQV|뀛~~ =s1Tԍn{92ڡ:c&.~HCeuўZ=rEvGJbupp,>b3bW?,=(K ĩ{+t/{8Kn?[XMtrjMJb:Fs搮:γ<[mJCpsQ7ʕq$ RE>9+ \u0XSڨ'yLrĜa'qɿWƆb=9gI}(Z4- NYsMtR-V|QbPQ"Eio)shC+>F7} lI J4Svrx҇tx҇X+k-<~u. jM ~ӻyhɺD&a9&Y}"I\,Г+$ UibF:$O~HcR Տ?F̫ƲpF4 tx uRs\L1x-|h~$ʫq-f߶ zC^KՓ4&%ɍ^yeu{"bˑC9/BFD{ ~?}٩ 43:::ٕ>mrR yr$ yZVI>O+֯V !?|F..:'־3h:z7TG I*I*MiZϻXaMirp_GF ^(P LΩg YZ7zXZ ִF ! ] ŗXi%GpC7^`3!o$sp%ޛt[ә6|$AC1=?X-)R,TA%1J(Xt7t~8@@^.}cL\}T2F [ZLlLsЊeU(LPʾ팇-,㶖`^ ^IkEr.h40^aekLxf(FL)g1$z72aVczCO"(h&>`9L!7DbPɼ;u%3ӭ>ឪC:]ǃSyI.`ÍTQ|qizjFXNXtĶ+oTjZwzdpV =jWyNg.drgn=ɁOP;6 T#gzQ=cix~0X| ˂C^QC#K"FBGa\,IICĩ=LDvi Q;*Z%(R4Ahn""/8_"N&Õf{y=n@ށ+N-G҈ "W;r.L9%B4-&;gӨN{'$WE..Y=Uo_h