SQLite format 3@ . BBh77otableisabelle_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 {{1  < ]S HOL-Probability-ex:threads=6elapsed=26.577cpu=44.312gc=1.124factor=1.677zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EۏP+ :[gѥ$K参NC"%ڡBwP_sMɱ;u:w,ba&GH#VJNd#5bE\(%({ v}zҡY$T;OuS\vnzm=T"%WVPlb]Ċ? @oWJX9S;]G {~_e%siU GEgYX>b ͔O(&Aإ`CnBe8b ŕQViQ* f h/]f8eyčW[N`AR;=*~ "..Xq<@=KE_n'\%/-ك&vu~N,$03hnjUdGo*:ݑ4VA" ]~i3gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Q['C( 5ܭ8M4KlgJLa_,Xl~XP/z>.쀮>g^0+G ݿ;ӏ.+-J ^N'"՘Kǥ9 nm(O~{D@,_YAB^Os|p|f?^6𧒉SCJUh>xϠ?? b4U@*+BZT)DisT &(;mԍ]4$2LGy+Z9/b^ل%wtV>~6;-#(NфdI-r>L,ΜZ83 l`8zj_ I=Kli^㥼u̼9jdQ#>y24_~%I?cWkx+|% 爾g3Xgșw:XF xi"ƢeK*2x.0[=+9p= a2⚎Ϭɂ),,AI%7(,wJW<2?X2`5ԨX(0w Rڕ^^q4N̓%0s[>EEB54ʰݥzOItVJy'ڮ5S-I?AN j%' qw&=NpLZS?J鐹ZrOIZ<)bԘ 3I['|wKFBZy~ZAdp e_s(_T?mF` v1<~jihx1fE~(XC}.*Lrmzefe^X!(K rAm8D6'n̘h o"GeB3pm~IՇWckڶ֊Yl2KN_J^U\.B4=@A=0Hi?}&bFĭMX ysefVj1!b83/呸bİp# {r>z ^\pm4olC]́UWX'R}мGF;bbDM,e('5pU0{ݛD`i,+!P>w3t</Jڇ⍄ÝA^!Sv {xN$lC, VRgYZ94868c92ff8a52d4a7b28bcca6a00b3ab42c6d911b1b23cc4f026b8efee00153745c0e90f4bba172 6b2c41334cbdfef77e5fd462241eacf1b847aef6 9f7b0406ee611c42cfc73c31ed8cc14e73448f7a 42e1c7f34ca646113b2fc342e9d38b29390b3df8 1 HOL-Probability-ex