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 $$I T w]LTL:threads=2elapsed=30.947cpu=56.036gc=2.240factor=1.817zXZִF! <]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boc1t4D! eEL3WEGT r)=b.ھg, ]LhFz`e)DփZj)!^RTV fCW 281bME.EK@, f*iUuaht z4.X+e?0 jǏ~$_zkWƛ۞0?,}(9<GQ_:e?2[P 1QxD[ 6ޝiDb_@c/x!HqKPfORq˜J%DҼ=*2s b3: v[$" (4u 7u+q[ g¦5b7V\GnBTDb4 /{/pr񯞖;7Xll Morwc'º4Jod'3'@ ;R̼H/1FuRHy X%E*T c ކcS"{`]MaBof;iiݯY- %4˞1 pOЄX %,ʘ R/NSEl9u>O9?|9_ƶg1KA{cO4-.1%)6mU5I'z]y|jXe *Va4XR 6!&^gd!,BKU3ݚ̒ 6ɏwPӂu<[0>@MO  LTLfq!꽮+}h psѴJd* .GuͷmxDae飼49[iXD)f&BX3858ٜaQiIِCg9a!]@yV`b/K2[ [ԣ+ fqTEG*} Fi|njZU^6d)A|BJ2.!* [jY[б9G)uD^!eFyhѡ(*D\ xjgYZ7zXZִF! ]ŗXi%:?A_y"Ņga0dl %?!fY$;un-lL͓gqژ?|" Jx#F똳ҿl3.L{,d\̇ [_XIfc1pjQv=(S\\1Ы]λpp8tƮ7([oKR^}i!!8Y$y!NaPbh**scWZ2y^> \2ݮ`%S]+N26&_dlboXzk%rDOČ oW*Qa)AH PM GXi<n 痼ZJ's7oOۻh ,a#+(,cZPps (|5ٝҕQ+ #)aNSW%Qodը^MU7hf=?,S80{_)Q}/?`Acƕ "Gu}CJWx!Ԧf*@R*.};>Q 6o?XuS1 CQƧvf#G*?2ulۻ mir`mmKcY4!!\7y;N3~=f@Gy<0 DV-gY_\-l/Kw*ߔoʭۛt2sӛ81Jm6Rc3KFj^m~xIk -2Fen)nċ"kI dXH‰.ȉXp]}<? )rC={(/!ք}@%C+w."|McnI;(h]V0)%}fS.ʭeC9'[[X }+쯶x`@YIw&o>Vo~-|z-I8S| yV':'댆t:ۉĵg$`0++|G\<4{ m190cx:<eO AnX*q26I9Umhc#aC4~tecZH \wKBnJT g A]xE+ =8m.|3)GGxQ%$o4(7Q&z (@