SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   ZT\\ ]S Valuation:threads=4elapsed=35.092cpu=113.652gc=4.004factor=3.247zXZִF! E3]ŗXf[&эy"$jBVHVCv/ICNG ̈n7C-/ -<ތm[zۈU+%0E3HW^jCgIo?9VT{YR痹XjV`HxF=,%ɺwG ?CZvXh㴁R56f7'p"7lg-÷^.ZA p p^b4\ 0X GӍoL]%ϗ (~]Bc'!jճKU{v3өF|ӗ"s1q$ Y$C}N;#_96sN 9f,[, :Ws:CrTϟtzA~%] ':E;6@;ˋY!4Ov-6䈳&:ؐ:1f =z=f8mgtaRoHn%%iVE 6o u%MS}Yp̺9tJM Q\FkG&wERN݃^$Y^4jP\SRosTgncp{׌o/RL8g-)x?BMT}v%?s\%\FDغЮ{fԼ;̎\MU5J2 o28P GWO~rD`A Pb >fLi1%H!ug Dk:ܤ:S%.ohgL̓si;s7+ 4bL]LM#oI.QDLJu^6A[X5rzaSRԋJVߦBK0bqeFA0RdߍB]`8흣- ތU">6]۫vgɋY%mA'uk^~_q4x;ٟaƘ\NLddu1 ĩoިqk_ɍSؿ&6tkbdx: ~*^1A8{Lc@FWQZ!{kY! ("nJme wV__11   Valuation  ݆n4;1M/aa?pw$z]i|WpBI5&8J JdW 9:Q,`clFc{ؑa"'cMLN2S$NdUQ906<3RDÈfWj{+ =߼ѐx"µX˛o~H2~bL)v>߆Z]ٗ OaAɑ< ϗ7lCnу+E5+toWg":ZEjPYO4@β$̮5K0An_9͓N|C)E~~TawC_ogrc) d; d!Hh*عI`맿O^^]^5QU=R\ejJYsGeno5MU+5 B [P"4--HihF<] )+|70r>eժ6*hh- G-4|?"GҮklɻPid'__3cn2uL{{P%t(6Gu1j.%ܥ3ͷdt(u%e7 I 7dbZ,ȫ+nwƤJnI<jQ'Q@eNN{U5!a5͢NN uZ&/UP,%JV!Vil74'q'_Muh-jd!%72q6^=Q#} ʴ<9KfVŒM4>X q|>?,l`2o_ԔkF [}'pߒGWVƍ̖_*%Tna ї(1QvRyz%2,Ss8r+3_2Lavex~Q[d4z)%cϿ dm21 c(ùW2|wMIŽvh`uY1-Sk-$hn/]bkhÁשjL Hv'Me} O݁sgH\?.qO(ccgH0N)8ڮ Pb舯dF4Bj}yaw@ĞUr7@nTv #Ii`@N#۬ 6̶ݤ zR*hxeOoj8Ҧl9 [*8 wn*:_V5NrV+(aߖL°nB l]\д30l|G$w)٪ n~ʈ{v?S'n${4 D `U:I2,.|_Ą`4G9s9]p&%@).bI0sx'?̰hK?_^oPh^FU3gpi Ue%mlh.Ń|kWu;ZY֞D\󢒭C&WrG]uIg[B{T3Tg^)3=0;%pꃞf|\mx 'ÉDq|z*ۛKX ݅}-\a ]^rI}g-Kɭlr_ ֕Wo*Jek;u|:B-㚲`ێн7Wq\u[MY Ls$} uLp%yb3./A ztږBA7hh:ݺ~w]L A)# %R8!-(1,(2x5C1UUO/mF·JyG+1p241-#j8SڭkUEVزL2aMD9pÕuڔ;;;%;F4y̓@UhM ɿi52#Zc KDăMcs1Sdso0vg!tZ^qϩhÿXU .o2gɶ‹Q34P 8 i~