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 e1 T  ] HOL-Imperative_HOL:threads=6elapsed=41.767cpu=60.992gc=1.660factor=1.467zXZִF! 0S]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi_y ah sn>yꞣoz0)ޞ,K:!g( Q 쭞IN>=rOUT5יR+X30)1_tSٜxlalH< 84HMoL卌9Ώrd\J>V2!v *"ހ)-nW"j+^΅а8Qnv6Q)#Qն`S͸.1«zx%3?CcջK*S/ ;FiMPvփ`f0JBV%>DۗyW`Ĺ=ad rI4$L~ǁ=Ӿux3A$+G1mE=߇H{ o27gjk [D*01zmGs7Y@225|_ `G!dgYZ7zXZִF! @]ŗXiɟ1nhЦx"n_8N]( eOtd;Eù5C0U)VBЮC!KH<KeflkX#9 dTjsDpЎQۮS*TH av͔d(r8ͨ01 {("~)\mN1w[zǽ3L={W:p\ O;YI;2)Ž6yYLJIGmiz^(/m,@ HGJ0Ublgyti ngYZ7zXZִF! 7]ŗXi%9,{}'(n@]ʹ}DeMPHBxO-iKЎ:mQW8/Ҋ/%̙7O9+;Bz چ3Ig%Q:sZ٥z! bf>-P.7^@p#Ϸ$VJe1$m{1~} BfDH~"<@F+ٕ.H@+ :4$&&DX͏{+ \CZ2ud*II?%DSPZ+r&xcHe!ȨR5!f B\N]=ˆZΎnKQ&Oÿvd bS2tr[V58:0u >uWErPz6; 7PN_x;oy#L&,'!aWbMysL?&jC̆tczzZKxG|KRqhjwɁB'3L?.3'=l?Hr"Oާm uKr\wO ?8*./hrܒ6w*&8ЋC\'j|{>8 gUMV!#7TQ¼2|.g=%}dOd!^搫!Qc WL%Y,P)RiXqnIH&!d%#8׽3)# (y~ST-vKցyAoU1q̄&.yKiLi! `ɣJP83%][r3 LRDS LI?e<͑a 7*?3@`{Ģb: E~6J},c7HD151(ALlOH0Rse"oC! "QuHS.i;]M/^Tl(הyh=4:GPoZݩ}@ qn|yj2[ Q}6wyF{wU:Y~;s a=f3T?;{b_h~%*0z%#=|eu f]ѱe_Xj͈w/O$xmwW߷(Rfm`,LK!C6o3% g3I8<[cyՁvr_amwb+VzyO]$Lih[M/+_K O9.:d(-+ː]$HR)t>x?sr_?a[6LoñgYZeb7f0ad4e51d473dadcdab370a706b3cdc47582ff6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e 3b15936e361c4485de36e5ecf4f1f2e8f445e71b 967f51eb5707e938cbfcaca5d7f6d7a919e3d9f0