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  p p/\DT ]/ HOL-Proofs-Lambda:threads=6elapsed=109.463cpu=138.868gc=5.476factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}9Ur7n-&=]7p lt W 6o@9}Unj84;m}ZR3x5{U퓀5wGC-G(o4eM$,pTʩfbꍫ`MJ&e7a=oBWCLR? DY(oR{20+3.|*{q]vV 8n]xN4/2cj-!7A'd nKW qC߹4~z[֌៱gYZ7zXZִF! iY]ŗXiɟ1˦r+g'^.e#M˶pFrGp Ta529ԉH\}|f]tq̌5ӎ ;+چ>P8ٻ?ҏxjm:uwp+bzi*Q,P8V*vaCIrm6;l? :O|xd42LdM1:(;J?n= ghˮ&$SN)5%Rjy5T`9VI2n'sC1,SO[Z~M YrMdF%l KgYZ7zXZִF! ]ŗXi%PM8?+KOT / HOL-Proofs-Lambdafnte-yj@V7 }M +*z3Ű}v Z]L5Ƒ [X@ HD%KŌLLZdQ`S-_QB ٘(WГLf>vf L|R~dB:%Dd8` tk͢`$d &a\,`cZ eyt;l?.2PG(+O:XnH4J/Us3OBaL֭3ү]yR>&%E3Ncv,`#BucjE?I}\zh0䞣̊SD-f*#K,/M^z)KLIo#>w#"7A{!.%q t!Jgo,9̸ 7F]K!UH=K86 Rm#eࡹԯ~(R`T?;n7ӏS!9c [8l|3D' d#aܳ?p@^`#{)Kwb7<ȁ c㰙mneǴh̊At4V(zj* eY\"~MבWDvA-|̲?kNvvM1~򮗸7Ƅ31gCh }~d<6A9/`Nq7gglgo WUx'JoꝬ;ewHbbԄ'"HIzF傍iKIظD38u<0´O3GiH~>a㊺W㸿pt&j~㯊;_|gp`QȁPJf'BJW XJ" " V륱/_`PӄN U J)J$`_tzi7 $:C~W!zCp|FUަ]͟ 2&٫,ʏ!9*+۪Rq,uP, m-7HsIH#D#V#avT.O_ߍR[\l9|oxqG] 6p]x+W