SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  S | / Noninterference_Inductive_Unwinding:threads=2elapsed=11.150cpu=19.468gc=1.120factor=1.757zXZִF! []ŗXf1-/6vR[y(&j-:64F^' ?Yuک bWxQzE )ykB yRgQ?zuKf15#=pȌ'TK(W18|+9~ 93w#Ν}mE[ʏͭp6a&%NV0d'}ߨC9]t, J$'\v-8 !/JuP_CHtM*HPť_VFejS[TA~M|Ɓt ?Ð,W Mٸ1lX8WZknDIETgtR.,A7*.:&cH |uwn`1%/|zH^L\WGzo"5NERwK_QH565򻠕M}(t}J=tJcǻ6Ly~pTb^Lun0yDXCY-WJDڗI mT&oLϪ.'<@;6҄[v5UV^s~J?jliiJ[O"7 $rF@!h.etM`D8ׇZՄٌZEJM,;yh JN6n?;!~֑&gGָ-FrsInDF:<ެDvg,!2"±FvOA K)@=*$Y0.ޙt X "V\Lb^-hWCA(r)~m]c0Z]!33SJWfeӕW7:2C J_MƜ* "nIc M*dWS\pv0=~OT),ti2#ue\9D"QU>!Ժ` &7qhg\0r #]n[[SXLJбq)|`нPԏf`}waUOڼw*N@ 8:vKv+Ru/gHo>`Fq(a]o=j\ f E`3niFE"' حRZt.齶yxMJl6]+T\g !T.WcAU kYgT%[iYfo>qRC3*a CNܱ9@@(}O^E=C \x[dv0C9vPrA0N@v²cl ̖PVcZˉـJPF^?5kx LŠ',ӶK+oyD$d~nXV"vLww99qI@0Z¶i3ɸxKjGz N. xP|" <1o2_Tn5W}mlEδ" ۷ؤgYZ7zXZִF! =]ŗXi%DQ}08ַo^Suj&]œ&Yzlϡj 7:32UG&ٓ脋2ۦ?FEjC=)bEP)~F ? \|-p!Á4j0PES;|x9ۨu-a@%$(T3S["“Q<;T}-B8rR.'euEj!ũ v+XQD l7$5_eK+R?!5`nhv1^mz& Iĝ! l$ ޥ7*j.r[Ϩh [3$C1+e6 {7+*$[۩6zbQr  >l6&L sHiG!z2 a⺞w*(?ƮyoݘHҭ.J8W#> Ef[5H?FD,1)1ko#G-s 1<`>v}j{[]8Y;ҙ;