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 T \L S/ AVL-Trees:threads=2elapsed=19.855cpu=38.580gc=0.956factor=1.947zXZִF! 3f]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z05=4s!Ұdod۔Zn Hgl!Y:8>xYk, WV7ssQ̙7zE,W"<279<|45dδ/E&bֿǡAң' 3pB|"P,w&2˹p6ql0w6YIڃܠ4hk,%ϙ{-mRmf-/aBUBlWvϠB6'pM_vqi EʞÜv_7' هF"jU9SʝrU׵i#4^rolϱ!`WkA`JozŻLiɾֈ'8PkΧ[H$6 }   AVL-TreesG{"[ڎeɹPr%uyٺ(ؐrhr6w*}P6Q`wvtpt# 9bXL>A ϋ/9 t$uDwc2L#Evk#cZ&8tĨcZ^bҡ3>O@sz ߭[r >M3ԍ2Q,Im%Kimxp.R0o~F&01v3Dm(4hs[>qAaŔ_| gfgYZ7zXZִF! e;]ŗXi%Rnѿ~H=D7.K.h;?: #ٗV@=(&"JO+|ۦfE|T<y-ˋ\6 o)-kc |#Xg6s{{4m͑Æ#%/+y$o PaTPl!5*u!NӖ9b2P Gf8ﮝmҕF~@̊*srcRHoپl҅@Oxm5#[ ť \@xCۼ'Oc>qR&N%>Qy~?{g -Xۤ*:pXЫN+V*;3|9z"GEdCӍjeE]&wezF&P؈JJKI0B6v-A/TP Zd^Au6fH|ѢϘH4k:\VolӖrv1?=2iG1]X`<9V`ͅF0`Qbk.kiϢ|ҳ3DJqgQQ~W⒬%7Qo(}j?"MD|3eVg^jٶ冎&S`P%=HG ЖeUkx*MG|tn=.ܒ.:F& eRNQ V (QYW7!9G*^,& a;doYpQ ُk^(ѱ IPaHTր5s}dfNӿ a708Fl  |2 lEtt[2SהLr:ǠeeG0Bul~d4AI7"Ia41PŤPzҔ-/WSO>a?%JwӜ-BE@Zc`"u,YT] gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962a80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4