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 EE(' Ll  ConcurrentIMP:threads=2elapsed=22.437cpu=39.440gc=2.264factor=1.767zXZִF! 2^]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GbS7 ?SN?HDA˅p]8erw?نV>rƱ:sPts=^Y.*!n:£eeDi2,tXN^M0wvo0,PNȣǡJyJ'pw7Ue@{]q3~1WFYų/Д5mYPt/ԯ4kcvqrK ' ConcurrentIMP"{0OHcXdӟB}N*>9=NRU҄IZ;䵏':Bɉ_DI`D>w=K(賓nփ}ss.ET0?lF_~@ ifQ(ExG~ rߕY;U@G%M[T22r5Jaj{VFjpu s%g)YT:8&E@֬^bk<Mw\/ԧ zT6p~rӫ١Ma̟1U)̋;8iV  dLDgYZ7zXZִF! nT]ŗXi%}{Sg=Ǟ>~ ]C<0[6)_׾w"N!it l]'Neճ)moNqo{ >g[4j] n.țǮ+AU\64yn5X=0&a"@}߼8A5WOTs60kJ!'TJn> H4](lAs Cx,jPԆ>b P :!])nROKs;^ŅY*ۛ1q2\}LXy6kae*k ^ GH,;duaۦE["6Sm50 md}cxnhE $78)#L9.++NJ6XMɛ?4F`#hSq_kX*K*U# D[jw(Fus 񢅩E^XКMK冷KBUls.YizP6Nԥ1\2@D?Q)ޝ&<o-g;4sNPGЏ@뼡:ar=1F) WS=kG: )\kXVv.^%WubŴo1 8󨰝;ڿ P2)RyeuF Xl9(B؅+Y7u,7Vb䴪AQpjD\uJZSEQ?7N؃xDWa| E:rD;=%'/"2_4ۻR[*)j0葷s[K etuKH⇋6(ŻؓhhP'V ;J٨ bA-}# fc%&O \:KBeō/5 ph]OHxI$@V !46'8^ W$7O_DYkU.E< q>gШmppF1[[Z"5_tVzс!vE CJC]dעjT<jAuLvvAqF% h_!GPG`8;D 2 1> TްR?uWf;'C2k8rzHcy/;fk(LY(lOH 1 YgYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c6f6ad03afd77b8e8a428fb92d567c9dc561a82b c8b28635b2e5a8aa1607d2d9124a98e97e15fd40878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5b529b8696e26d1affe58331545ef5efdf5192d0