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 _% T ] Finger-Trees:threads=2elapsed=15.430cpu=25.452gc=1.648factor=1.657zXZִF! ]ŗXf1-/6vRZZ-=X@ 1-PU-xA/E@ip-#;MU?Y%NDЙM*sJ~s؃M6j6) ;,)I؈cw{xv62±"|-X+G 5O?FKi X^U)!5;5Q!7 yD!< qy([[0HfBDs`e/?wbLr/ڊďVQٺIT }"u'>f%,x Kd`en "Sfs{-/J2 >MvHa-:W q/qC)VX뜌|{ݑ/֮!e Nn4 7 *gYZ7zXZִF! b]ŗXiɟ頪{jtJ" ZYYh(^ibgZ!a&'wBC:\$etv>0Į[~^GngYZ7zXZִF! Y:]ŗXi%92I`MZ  XR(wv~GŹk5w 6Hb z/W5hrsk0X=pn+Id֋s:U2fsyFc/Y~0R| Y)##(}f@,E՚X]Yֹa XgI>%T`{cvhj.,?gJ+Zu*]%%I؇;ׇXgLg"*)2 +_MqwoP0'߬waK.M%tc|@L/˺w\7il~B\*k0iquQM) ˟ Yj[IvޢNx֦e8KI|ⓆEbk yݬgr} tWM\_ZuIfRr0RO`HᐅtQxj9q&@D6> ؟Ypj< lH)ӏYsXe<E$;Zjl ?HQc$%jV =4A^LPakg0x@]l@l~G.667^_2Th᷸As&M|ٹnS,^^d"!OG0ASm̹;4擅 gSdP#7N©xWx |M\!QR%}o/`p Phɜi29-&]oZV9:^QfHNLjp>k#=M9L"/XFX +]h8(W8=R0BSHsHZ/Wi P 5eK\Q떕_*[]baæN8XR}KXvTٯ D'283e[T6[ȋI /6~z/o[+*B @ H|wг N,"i$x~RF_3 (df>-(KGwyJQGug5o>*YvkoRϒ-|iA hWgYZ80180690e6afbe89c9a20e4c30ca6ac72deff3babc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2 % Finger-Trees