SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h) | ? HOL-TLA-Memory:threads=2elapsed=14.070cpu=26.592gc=0.724factor=1.897zXZ ) HOL-TLA-MemoryF! |Iv]ŗXf1-q恈&5v)w3X1sNϟ_&ԥl [$1ΰ I'I,Ov3~\x”2J樾ZQ[PћP  @YY r4]T>UȧE9Aiҋ#>~559#K@Ld"4r%W wK¨_`Sm~RaߞfBybk}KXQ·63 j=l*iE*ܧI&e[d|tz~nC^Wf+RHZu$* -~qU5va55ss{>MDEJ9Ӣ%,AZJgq3~,y;y(.$YTkpA^ a7="<L YNC}΀v8TimCst`U4M.mFeNlqT|d]o ƻj⥽REvfQF.s??WkTͪ`YR]zlLy۬ŋ7ƪ&~KNAOQ{NSELaj-c" Ԙf 0XアzZkL~Jf XK<\F$ M! '1A h5*mI $ïW"J j=jۼ!nXyxz {T/E 貆+=ynH =˽}h~'n^ If^-4C<xj2sSV}Sa4!lsCv:ѡ9x#:;tHs/׳|W_Xbu_}>(!@ qGyz\b}E fL|: a`tac8QBgoR{t݈=JfVoV )aҳ b&/+SnCjNuJP$mcj ڱDXlXlQAo֨Q? #eE'&3<9/0%3#SH~w[EI4,amx;O~£}+ffz\^#Q)5e;q4rf8#ѩ薏;$yΜXJnΈFܨjR:ۏքR՞U%ډ)TcD浳k$%)**v^Ðxa'҉Bkq<2?CAa؝QР0AR'A=NPΎ Vk_P1{̢qF5U?uhc?.#lAsGugYZ7zXZִF! C~]ŗXi%3/*# 5"l39G|+FD:nmb5R6e} T2&c խ☂Cv3uBbo&V}%rWU[eu̦gbgYQN :B"÷ށromcs鳆̀1֮$ywPTL?(ۗ|K+}MDQE3r] 4S97 J+R~.W<\gZ<$kJ"u~W3J=d.=ɞ}6ū6I_AO)דO*I>6ig)[pD2* <'ꓹlT2 M1IJx6wAվ1rSBGnnq+E K6 #,y{^yZA'I-kp# \Ĵ+/3]|5-¿O945ȓ/+`=gl4d`4 m );B:'%tfA8EOB;6 TaDx~l(|fE%j3Dʩ U=Ҋ7#)z \A)#c3J~tޟM F/8k&aT-Q4<{;{^uɏ#EGqh?EEnVVf ut[.EްȊȥr&bˠzl E+/ _,.CU&0݌Y zҕ\I{]̩Ϋ3JtS{k vީf)G23bJp< 59hN 7bB(K:yh9>"K{q?&p)@yQUY}$/ f7q:_$E8kr09Wڧ[kFVFt4vODk9;葌6#_:Lo C+D٭q8mqL jR[p{s,RՁi"}߅p֛ VyBұo$xIuR/k~ 9rx0 Féz!|L^*$ʃ -m ݟz96d k.ޱgYZ0adfede09a2017674b960abe1732f6f5afadf61d 0c1602257f00e4ef30de8ce3ebf72f6eddae5aef 193e7a8163a4200ecde300711efb260130e85531 1d81f1b82ea75e74b860b539fcd461ff3618c42f 6581e20a4df9b91396729bfbaa321d012c3b4575 7374b5279956fc20c8ea650a17532c3728143879 a098d43d5bf350c1e7a6e016d7e545222a67159b a1ab8a78cc7815651e935e7bb92ffc44c92f7fdd db406be5725d480c0c14ef4fa9a255861d3c15c3 fd0ba322b6a289a6a38661090d987d9e74479ed2d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 74096f10ade152da5664050a37e244e22f5f579b