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 ..O d, ]/ AVL-Trees:threads=2elapsed=17.928cpu=34.344gc=0.752factor=1.927zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}zxbjkԊ ʢ,ݬ[S[m2 )nߦ뢃9˼j($7i2ikK?6q/}{>p?^̙`Šh'`EYHJ+`II\c6w7+.%$B""U,Oh^k16&Q 5~SׇDTb'vESYy'H@[=f3H)gB83CJ1/1TEܔ'{sTQS1`Jr|͍IR da2y$ИAK`P{CP$&+5撞9rϏvG,̻Ļvo{Ȼ )ϭ=KW*$/*ŭͽ[Ԃwy7Xwy]ǘq_4}_>Uf+I nQS"^ggYZ7zXZִF! O]ŗXiɟy)j sC: x䛖 4>npן?~?'H -].Kud0 _Nzw ks`gYZ7zXZִF! []ŗXi%6Sus&&^&\|:u "{62Yriˆ/'_, Ҵkz.kuUn iM&_݅NJhA_!.N*F'S5 *jt^3"tP Ws Kyn^w!'Z@T8?#gfкH/_>J״]mp<b@m  j/f;rӵ1mit06Kϭ}KIx:Ϙ1 3Y1%lND'4L`_< qi^2 F8ÿ Vgf嚀QguӃv8ifZq<—{ uX %*2|vR Z.L@Mq*pT̢̬Rj;qwDjDZZ? E@aC`m $Ev7_tV֐oQGb9J^{oS޶L@ggoaMVzh P|x GDckX#r\a6[ЎB78&}q/Www^J^8۱@v:TQ^)1 Hk+2jJʻ反JNʮNЭ׽*mx%*dKbە~(ؠN}6yY6Zx":FK@xVD k7p6bb֎{* t/.!k 7 BPVC `4<Ȭ`q"Elj^Iv7ȕGbf!2*mv=۹G,Tܟ h*9kiZ8p^`e`1i-NNXXbbXBd*z4{2O0"eM}X!f>~~gtCZ hFu-띰H0+~$2vi#W?hLFKƛ1J颏|RLՠ)u M"o؆դQq&nrEx~q͗Rۼbcw\97O<<|,?XR+H55nB`J j) 5hmOiqh&" ޷=gYZba383943d47ef92d358109102423493631d04462e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc   AVL-Trees