SQLite format 3@ .  YYQ77Atableisabelle_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, "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 --P% L< II Stern_Brocot:threads=2elapsed=32.563cpu=52.804gc=3.420factor=1.627zXZִF! )]ŗXf1-/6vR[]ׇvb1߁ݶtG6cwfU?XPXrH b|- vl"](>ǿvFg+@AG9PAc$g:_S4M: @3ϳ~8(&Jike`>.RB;({\RhuV PoEY {)~H_ " Шy%,VsZ2fiB>-u{Íuz dhwZP#&Of (8wJ`oQS+8je)aY˥5o"=r]=·PO3*Pl~l@+M!f#g`xWnx p9+ PSOcI#GhpI 'i& S#O>DX&f'څ{{OQ0\<2gfbZQ.admV\72]pU&Dbm')!1 bdzNe]s v9lF<:f;ʃ jP R&v~.D;6md9Jp0|y3UMLK$&5PP?4u.V7bj_蠨&p"X`60x(?.-VsZx쪝Rә'")݋5?/a?#r?sJƆbd>#-=9%Ӵp8_$"HAR~ڬ-_ǚTM$bm}`-#4.$zeWu,z auZakJ2E מakFJ!F6„`%cSz;*k/\OE)&G l8KE#_gl|yODALy HYgs.!fF LG`Հi;e~o60668& fKi*uwӾ'w_6eIIO JeI+*'!Gm!E@9\e[y ۵hnCَ?1ZpT ΁Y$똇TxAW=ӿW9\n_}|/Xu=oR_̑ @N{$;o'&z?Sĺ gYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1db9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904 11947f4b2adb08e8af64993dcfd8ccce3f5f6066 dfc5eadd3b0eacdaca038a38a6b2904cf38c84be % Stern_Brocot