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  - ,d ] HOL-SET_Protocol:threads=2elapsed=57.350cpu=97.288gc=3.220factor=1.707zXZִF! ,U]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaRpE-R^ӧ]ݒQXx}ntTrCC@}Qt.+_/΢㯩q,T'ʃTN8?^X+Dt)雥:B-TAͮ`ΗyC+tqh,I_8MDh'15I'0,FgH49AHX[W=L յTٸ7A ߅y 6ȡ@Y_`\DWl$C P+lNj2(CK:P>S uu)1-e =jC~dnBC[~X_i<0¥#H$Ճ?)N˸dqxDzxԌyxN؍޵Nl,#~U=z$@no̡էM`٥<`.e͡9RAי~XT~tVԕu O<)˽n!RaֵY,ٶ!-uwr< uZB _o^?&y^,;!(n%C - HOL-SET_ProtocolUc:\,sA6 $%am*zC+,\sBQP0Vvh>a QM($:;dٛc%w$ރ\RGy])'ӿ\lx{@M4qL!*(@r4eIRE^_zfm*oIij,0bRaXo9@yTc]=dm *eorl`)? Ƿ{Gz A4B"?ITv${ANƦi-(Mtnɨ%'vxtf=1ܴ {hVfH.`BK*cC.TL""٥CE- *X׫S}3U"}leYXM3gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx<9d/TIĻ[֚ﺡ0Vأ^HuKj!YS3j߀$ۤ߻M)qO,ݴzRCCpiANDΆI&?$hC:L0 Pt[7A) 呯R;Nu3D>nN){,ÉbSMelY7u44u`Q UU݇pdOi˹a>ܱ;'?1uq -\r䨫g7'0aA}xu;S*`XK t-O'uDf'»zC!hD|}=R*(n;kxv+YQ _ +9LqZ(CӶ{JF˭=\UQU m*]as&ۗ)ڼ./YV(Xs[Pa]g$Ev6ymw3jU *得vfR<ŽWy̞}.{!L<8{=IQ{B9=*1rޘ YQv!So@J!b|`;})wF| TTV d1!IoPDWu,0 ufyrj\HXcH05XqNo9?Ű{|K؛izD[ ?D{B֬]A/S}|,l,\$Iފ MD_*P_ie 0J|9' gc]hEĕ~ ִ?db)ny`0,0^;ːI,fA[NS)Ls07P3[8\^liJ/կbG8B$Ab/c[@-gy+gJllA$ Sz3A?\w2yU/rTa᱁@T8o_3ep-'4\;i4/'@VOhK%Px ,c0OuBxB7P@aԁ 8Pb (]CPMkmQ/Y-2#RH@NL~vKmizGT;Nt"fO{zgzpu_|M@1fr m,ڕd 6%z0$7/➩r7'wvFG+xw&@8~Blm:o'X* g`2FhԵ0ݭG0OI[WaC4pgc_eF:Ա*$vQnLsk=8~X1MGm9#ĝ@6&_zxNXV$1$GC"mJKN>`J@@oa#~5˘倭G+tNg^BHj236KFHukD\.kua߫wUd%*. Z5]u5s }>=S>V[?,V7tt8  >+uZOlȜ'{^xnS7,GZ$Miw2𾶶OqliC,g\y@ /|Z~LSXL}csJF ĹVP\\' &~MazOW8b\bn \0a7#.!ed&_dۈ@2&lHVvQZ♺"bI^R=B9[sJ4g՚qZ4Ju׹Oly DG]8u$ @)q6 iwR88 s޴`>O5؀|`7𪼵y`UL};j$((rǯ~_e-ד6:n1$ZKO0!JNt0y0vO+8 h SQAXdJx֐;*iu2(8@':?X {}n~[OF>-<|dav mz4[ugΘ)MAf*9M5 o^X|f"F&ا].Ҹi$_DSl-nbzAp&0,dFlZ=ELF*NRDD߀Sୣ5ĕcRKA@ 5UNGBvN'w5Ņ r`>c)b~08DK1 VCEO"1?KR6Xf Sɋڮ ceFJtf<j-Z Cz4tQ/EW+A:(FMq쎭.q p S^)(m(N@siU\cdzi-1-ql.AUpp JVޚ#< L/Ú\8%OUwIW;8c*)ڐ$9{HGs#&U97_q$*GVdt_sz1җ,8=0*SHW*ey1 2 R>Wح DJ,'Д5|kDְF 9=eݫ;m!EdJu*<[%y