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 f1 \|< ]S HOL-Probability-ex:threads=6elapsed=26.997cpu=44.920gc=1.568factor=1.667zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EZPGEU,t } 07[/Ϩ]Y$ ^dݻ;f{- _^e=i ǘ^^R-) d;U軈h' ^:\(qhTe5[]rHGЄŲ1KBhB$siDޙ?}gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >(:9f@ C078JA(MN [ (P ׃ZeZ{]V?k:"BOA~eד/r'X61j[bdᾋ6:Z x߬ =YLi gYZ7zXZִF! ]ŗXi%;5 ekZo= N;j .A[v|08mѐLv"7QB58<4) u~cKiU3$Ƿ4"NCV\jXIWeTثOkJgVƂpuzwfps@1pbAͿ]zA#pڊ0'@F>>>ֺgZY^Ж+a-m\j'®zdÂIt?4\\PX#Z_6J^'onC5%oE:y}#im*S7E}C&x6+hK3ʏ~ˊFZݞ`'? rJm)B.Jl}\gMW5[ ײByS+WuC>v6aReQbS(-mf;7NÑ(a'֤-^Zb/%E p'FQ`fYx¾` C[VgLw%.# iAPM�v[{OYoU"Xk=5nt9)X;WR9T @[C㒻rxDFѹD~8 тTÆżU􃻰(j*>%VGqxyɿ>FD<|UWfiլ7/H%M}u\-]~23z)Mk#JDۼܖAWrJ2!5"m#1B}ak$ALC@j jz( *ׄҴp:bFxy[ R2Z sR -^3Z\æ[jl[B)%ψrTRβɫ,[.5ƽ)y.fDD`b{8?\;!!d"w5…Z<<ѯ󄴒yU\pXI=u"WADa5GJdE7H >zy8 F?yCJ'$ȅ3s0n,v0Th|DRyXDy;t2j7S*h[ n\GwqxR!k(>会c1l'_{{PyϪ׆ ]݊1V){Be4"(0$iP-4ď"G]Zb/@_+HNmS,|ʯr!Ǭݥѐ7Ey_b0#3 .6E.0df_F34T#sjėE=1k$gT\cft&rL$RfK0Z_I. }FwZZ8'&oy 'ױV:wI`;w4zgSi6@ w `؊H