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 DD91 D\ / Recursion-Theory-I:threads=2elapsed=16.640cpu=29.408gc=1.228factor=1.777zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCBjN*Ņ@D&ga q'ܪY=L-+- 29W&a^ia(̧+}b: Vk*L^q$Ůڱ.ex)|E &(3m,utOaX)k2mĚFUMԅub@a>f-D;S#@ٵ$嶻#ʢ6W *" f<.BmԠc %AZ+9A1Vu? F:G-ֲƻ{d"RW +|0/4y 8-ezT`i[^P61Zn͚~߅agYZ7zXZִF! `p(]ŗXi%}#K?* b-O^|E[f űdA倬׊שD ۢTd k8.6s;;dcNn-Nˑ PA*p.p|-k9-ʻҌi>^,9'7,lM!VdÚgws)^*zNJHrHW脮y$ȸTlO'ʅ)ƴX)]j CXFsgrOiW=!@u,!fW9L&$*ZIEx73eՅ HqRil).myJ|uPidv2[T?[n VFG GO \ S=5CKCŹr|; ʸ6Dm K754T\$34'3 ^^Ϲ[#3k>v]o {{0Ad&Tu]dKߛPD'.ya$~[Cs<1y i_m $o}8HD TWz`)^pVVnwoWKW0j# `B Rc=F@$0ò.?ଋ+QNcC-0c,Cs Cӽu mI8,ÿ땄 vN<*UjW7>%f; ؑ^ܯш.῎l~ ,[!ȱVE9JmJ&(*5xBܯU7 /1<ׅFu^+4zY.m%c(DM7B]R4Q˽{W9C07/@H=nX|u"w(̬yiT~ i8ikKЏ|Fl5W؎vj3a끟CT^)c${55S3$qbn5M9Lnq3CʶҒMJ2̥PidbI_j*<